Sriram K. Rajamani

Sriram K. Rajamani

ספרים

ספרים משותפים ואוספים

ספרים שבהם Sriram K. Rajamani מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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