direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Refinement-Based Verification of Communicating Unstructured Code
Zitatschlüssel Jaehnig2016
Autor Nils Jähnig and Thomas Göthel and Sabine Glesner
Buchtitel Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
Seiten 61–75
Jahr 2016
Verlag Springer
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe