Model checking /

Bibliographic Details
Main Author:	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Other Authors:	Grumberg, Orna, Peled, Doron A., 1962-
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1999]
Subjects:	Computer systems > Verification.

by Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
Published 2018

Book