Books on Google Play

More by Nicolas Halbwachs

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

The SPIN Verification System: The Second Workshop on the SPIN Verification System : Proceedings of a DIMACS Workshop, August 5, 1996

Partial Order Methods in Verification: DIMACS Workshop, July 24-26, 1996

Model Checking, second edition