direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Refinement-Based Verification of Communicating Unstructured Code
Citation key Jaehnig2016
Author Nils Jähnig and Thomas Göthel and Sabine Glesner
Title of Book Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
Pages 61–75
Year 2016
Publisher Springer
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions