Antonio Gonzalez Burgueno

Bilde av Antonio Gonzalez Burgueno
English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

Publikasjoner

Se alle arbeider i Cristin

  • Burgueno, Antonio Gonzalez; Escobar, Santiago; Meseguer, José; Meadows, Catherine & Santiago, Sonia (2015). Analysis of the PKCS#11 API Using the Maude-NPA Tool..

Se alle arbeider i Cristin

Publisert 22. okt. 2014 14:27 - Sist endret 21. juni 2017 12:34