Treffer: Reasoning about Java programs in higher order logic using PVS and Isabelle
Titel:
Verantwortlich:
Veröffentlicht:
Enschede : Ipskamp, 2001
Umfang:
240 S., [2] Bl
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Technische Universiteit Eindhoven. Instituut voor Programmatuurkunde en Algoritmiek: IPA dissertation series ; 2001,3
alle Bände anzeigen
alle Bände anzeigen
Hochschulschrift:
Zugl.: Nijmegen, Univ., Diss., 2001
ISBN:
9090144404