KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
Download
Originalveröffentlichung
DOI: 10.1016/j.scico.2010.06.008
Scopus
Zitationen: 3
Web of Science
Zitationen: 1

Predicate Abstraction in a Program Logic Calculus

Weiß, B.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2011
Sprache Englisch
Identifikator ISSN: 0167-6423
KITopen ID: 1000028135
Erschienen in Science of Computer Programming
Band 76
Heft 10
Seiten 861-876
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page