Cover of Verified Software. Theories, Tools and Experiments

Mark as

Verified Software. Theories, Tools and Experiments

by Andrew Reynolds

Buy this book
Add to a list
Review

More by Andrew Reynolds

Computer Aided Verification

by Isil Dillig

Cover of Computer Aided Verification
Review
Buy this book More books like Computer Aided Verification

Runtime Verification

by Serdar Tasiran

Cover of Runtime Verification
Review
Buy this book More books like Runtime Verification

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment