Select
Explore
keyword: specification and verification techniques – 6 free books.
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman and Grigore Rosu, editors
AVAILABLE!
Login to Fave
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman and Grigore Rosu, editors
AVAILABLE!
Login to Fave
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Login to Fave
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Login to Fave
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere and David Parker
AVAILABLE!
Login to Fave
Armin Biere and David Parker, editors
AVAILABLE!
Login to Fave