Robert Kurshan

• Computer-Aided Verification