 | 2005 |
|---|
| 5 |       | Guy H. Broadfoot:
If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk.
CPA 2005: 403 |
| 4 |  | Guy H. Broadfoot:
ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software.
FM 2005: 548-551 |
| 3 | | Philippa J. Hopcroft,
Guy H. Broadfoot:
Combining the Box Structure Development Method and CSP for Software Development.
Electr. Notes Theor. Comput. Sci. 128(6): 127-144 (2005) |
| 2004 |
|---|
| 2 | | Philippa J. Hopcroft,
Guy H. Broadfoot:
Combining the Box Structure Development Method and CSP.
ASE 2004: 340-345 |
| 2003 |
|---|
| 1 | | Guy H. Broadfoot,
Philippa J. Broadfoot:
Academia and industry meet: Some experiences of formal methods in practice.
APSEC 2003: 49- |
