TeknLic seminar, Kista, Stockholm

Bjarne Däcker <>
Tue May 11 08:14:26 CEST 2004


Seminarium (TeknLic)
http://www.it.kth.se/visa.html?artikelid=238
Titel: Reasoning about Side-Effect Free Erlang Code in Modal µ-calculus Based Verification Framework
Respondent: Gennady Chugunov
Tid: Fredag 14 maj 2004, 10.00
Plats: Sal D, Forum, Isafjordsgatan 39, Kista 



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20040511/7d6a8421/attachment.html>


More information about the erlang-questions mailing list