{"product_id":"itu-ds-a-type-theoretic-investigation-of-the-verification-of-voting-protocols-daniel-gustafson-haeftet-2444330","title":"ITU DS A type theoretic investigation of the verification of voting protocols","description":null,"brand":"Diverse kreditorer (bibi)","offers":[{"title":"Default Title","offer_id":53480614723848,"sku":"2444330","price":0.0,"currency_code":"DKK","in_stock":false}],"url":"https:\/\/mitir.indeksretail.dk\/products\/itu-ds-a-type-theoretic-investigation-of-the-verification-of-voting-protocols-daniel-gustafson-haeftet-2444330","provider":"Ordreportal","version":"1.0","type":"link"}