KIT | KIT-Bibliothek | Impressum
Open Access Logo

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