[Haifux] The use of SSDL...

Yossi Gil yossi.gil at gmail.com
Tue Jan 27 22:50:47 MSK 2009

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://haifux.org/pipermail/haifux/attachments/20090127/0d7a3726/attachment.html 

More information about the Haifux mailing list