Industrial deployment of system engineering methods providing high dependability and productivity


Ideas for a high-level proof strategy language

Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. In: AFM'10 (Automated Formal Methods).

Full text not available from this repository.

Item Type:Conference or Workshop Item (Paper)
ID Code:276
Deposited By:Prof Cliff Jones
Deposited On:03 Feb 2011 09:41
Last Modified:03 Feb 2011 09:41

Repository Staff Only: item control page

Deploy-Project - All right reserved