Verification in the Large via Symbolic Approximation.

Peter T. Breuer, Simon Pickin

Browse the full ISoLA paper archive.