Antonio Gonzalez Burgueno

Doctoral Research Fellow - Reliable Systems
Image of Antonio Gonzalez Burgueno
Norwegian version of this page
Mobile phone 99119857
Visiting address Oslo
Postal address Postboks 1080 Blindern 0316 OSLO
Other affiliations Faculty of Mathematics and Natural Sciences (Student)

Página Personal


View all works in Cristin

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

View all works in Cristin

Published Oct. 22, 2014 2:28 PM - Last modified Dec. 2, 2015 2:44 PM