Antonio Gonzalez Burgueno

Image of Antonio Gonzalez Burgueno
Norwegian version of this page
Mobile phone 99119857
Username
Visiting address Oslo
Postal address Postboks 1080 Blindern 0316 OSLO

Página Personal

Publications

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