|
|
Mordechai (Moti) Ben-Ari |
|
Associate Professor Department of Science Teaching Weizmann Institute of Science Rehovot 76100 Israel Tel: 972-8-934-2940, Fax: 972-8-934-4115
|
|
New!
The Erigone Model Checker Version 2 (03 September 2009). New: Ada for Software Engineers (Second Edition with Ada 2005) |
|
|
|
Research and teaching |
|
Personal |
|
|
Original design by Hezi Ben-Ari. Last update on 03 September 2009. |