Watch your compiler work compiler models and environments / Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden

Schulz-Rosengarten, Alexander [VerfasserIn] ; Hanxleden, Reinhard von *1965-* [VerfasserIn]

Englisch

Kiel : Institut für Informatik, Christian-Albrechts-Universität zu Kiel, July 2018

Online-Ressource (29 Seiten; 1,13 MB) : Illustrationen

Literaturverzeichnis Seite 23-25

An abridged version of this work will be published ath the proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Limassol, Cyprus, Oct 2018.

Archivierung/Langzeitarchivierung gewährleistet. TIB Hannover

URN: urn:nbn:de:gbv:8:1-zs-00000344-a3

Open Access