Mechanical Verification of Reactive Systems (2001)

by P Manolios