Refinement-Based Verification of Communicating Unstructured Code.

Nils Jhnig, Thomas Gthel, Sabine Glesner

Browse the full SEFM paper archive.