Dynamic logic for an intermediate language verification, interaction and refinement

Bibliographic Details
Druckausg.: Ulbrich, Mattias, Dynamic logic for an intermediate language, Berlin : epubli, 2014, XXII, 244 S., 9783844297034
Authors and Corporations: Ulbrich, Mattias
Title: Dynamic logic for an intermediate language verification, interaction and refinement von Mattias Ulbrich
Dissertation Note:Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2013
published:
Karlsruhe: KIT-Bibliothek, 2013
Physical Description:Online-Ressource
ISSN/ISBN: 9783844297034
3844297030
Type of Resource:E-Book Thesis Hochschulschrift
Source:Verbunddaten SWB
Lizenzfreie Online-Ressourcen
Language: English