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 ...
Alexander Heußner
02:03 pm heussner-a-2012-478-a.pdf
proceedings publication Alexander Heußner
02:03 pm McScM_TACAS12_talk.pdf
slides of presentation Alexander Heußner
« Previous
 

Also available in: Atom