Visible to the public Lessons from 20 Years of Industrial Formal Methods

Submitted by TimTh on Fri, 09/28/2012 - 11:07pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Lessons from 20 Years of Industrial Formal Methods
Switch to experimental viewer