« C/C++ on Lego RCX | Main | Transformations for Model Checking Distributed Java... by Stoller and Liu »
October 28, 2003
"Model checking Java programs using ..." by Groce,Visser
[Mike Jones' Mostly CS Blog: Directed Model checking for Java] resurrected from the archive.
Posted by jones at October 28, 2003 08:06 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)