Hi Tzafrir, I am not sure which ML and which Prolog are used. Also, I do not know which tools are used in verification. I believe Rational Rose / Rhapsody are used for some of the courses.
Yossi
_______________________________________________ Haifux mailing list [email protected] http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux
