Author

Mordechai Ben-Ari

Catalogue records by Mordechai Ben-Ari in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Ada for Software Engineers Mordechai Ben-Ari 2009 Principles of the Spin Model Checker Mordechai Ben-Ari 2008