Activity
From 04/18/2012 to 05/17/2012
04/18/2012
- 02:03 pm Document: The McScM Framework
- h1. The McScM Framework
Heußner, A.; Gall, T. L. & Sutre, G. McScM: A General Framework for the Verification of ... - proceedings publication
- slides of presentation
Also available in: Atom