TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

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

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe