6th International Verification Workshop

The 6th International Verification Workshop (VERIFY-2010) will be co-located with the Federated Logic Conference (FLoC-2010) in Edinburgh, UK, on July 20–21, 2010. The workshop is organized by Markus Aderhold, Serge Autexier, and Heiko Mantel. More information about the workshop can be found on http://www.mais.informatik.tu-darmstadt.de/verify2010/.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang