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