Industrial deployment of system engineering methods providing high dependability and productivity

 

Reasoning about programes via operational semantics: Requirement for a support system.

Hughes, John R.D and Jones, Cliff B (2008) Reasoning about programes via operational semantics: Requirement for a support system. In: Automated Software Engineering. Springer.

[img]PDF - Published Version
Restricted to Registered users only

323Kb

Item Type:Book Section
Subjects:Methodology
ID Code:177
Deposited By:Miss Jodi Hossbach
Deposited On:12 Jan 2010 10:11
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved