http://qpq.csl.sri.com/vsr/vstte-08
VS-EXPERIMENTS: Workshop on Experiments in Verified Software
a part of the
Second IFIP Working Conference on
Verified Software: Theories, Tools, and Experiments
(VSTTE 2008)
http://qpq.csl.sri.com/vsr/vstte-08
10 October 2008 Toronto, Canada
Thursday, June 12, 2008
Workshop on Experiments in Verified Software
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment