Testing and Verifying Invariant Based Programs in the SOCOS Environment.

Ralph-Johan Back, Johannes Eriksson, Magnus Myreen

Browse the full TAP paper archive.