Issues with Object Orientation in Verifying Safety-Critical Systems.

Sathyanarayanan Subbiah, Srikanth Nagaraj

Browse the full ISORC paper archive.