Browse by Author Jähnig, Nils
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) | Editor(s) |
---|---|---|---|---|
![]() | 23-Jun-2016 | Refinement-Based Verification of Communicating Unstructured Code | Jähnig, Nils; Göthel, Thomas; Glesner, Sabine | - |