E. Allen Emerson

E. Allen Emerson

2 books in the database

Books

Computer aided verificationE. Allen Emerson

Computer aided verification

E. Allen Emerson · 2000

Computer Aided VerificationE. Allen Emerson

Computer Aided Verification

E. Allen Emerson · 2006