Treffer: Analyzing Java in Isabelle-HOL
Titel:
Analyzing Java in Isabelle-HOL : formalization, type safety and Hoare logic / David von Oheimb
Beteiligt:
Entstehung:
2001
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Hochschulschrift:
München, Techn. Univ., Diss., 2001
Schlagworte: