ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software.

Guy H. Broadfoot

Browse the full FM paper archive.