Cover Image

Systems and software verification : model-checking techniques and tools /

Show other versions (1)
Bibliographic Details
Other Authors: Bérard, Béatrice
Format: Book
Language:English
Published: Berlin ; New York : Springer, [2001]
Subjects:
Computer systems > Verification.
Computer software > Verification.
Show all versions (2)