J.C. Bradfield

• Verifying Temporal Properties of Systems