orna grumberg
Languages: From Formal to Natural
Print on DemandThis Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthda...
25 Years of Model Checking
Print on DemandModel checking technology is among the foremost applications of logic to computer science and com...
Computer Aided Verification
Print on DemandThis book constitutes the strictly refereed proceedings of the 9th International Conference on Co...
- 1