Systems and software verification model-checking techniques and tools

Saved in:

Bibliographic Details
Other Authors:	Berard, Beatrice
Format:	Book
Published:	Berlin Springer 2001
Subjects:	Computer systems > Verification Computer software > Verification
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet