Treffer: Verified proof carrying code
Titel:
Verified proof carrying code / Martin Wildmoser
Verantwortlich:
Entstehung:
2006
Umfang:
Online-Ressource
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
München, Techn. Univ., Diss., 2006