Tool Support for Invariant Based Programming.

Ralph-Johan Back, Magnus Myreen

Browse the full APSEC paper archive.