[rules-dev] Formal verification of Drools - master's thesis

Ansgar Konermann ansgar.konermann at googlemail.com
Mon Sep 19 11:43:06 EDT 2011


If I'm eligible to vote, please go for option 1.
Am 19.09.2011 17:14 schrieb "Jiri Svitak" <jsvitak at redhat.com>:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-dev/attachments/20110919/83177726/attachment.html 


More information about the rules-dev mailing list