Sriram K. Rajamani

Sriram K. Rajamani

Books

Co-authored books and collections

Books that list Sriram K. Rajamani among their authors but not as the lead author: co-written works, collections and compilations.

Verified Software : Theories, Tools, ExperimentsGary T. Leavens

Verified Software : Theories, Tools, Experiments

Gary T. Leavens · 2010

Computer Aided VerificationKousha Etessami

Computer Aided Verification

Kousha Etessami · 2005

Model Checking SoftwareThomas Ball

Model Checking Software

Thomas Ball · 2003