Search the dblp DataBase
Guy H. Broadfoot :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Guy H. Broadfoot , Philippa J. Broadfoot Academia and industry meet: Some experiences of formal methods in practice. [Citation Graph (0, 0)][DBLP ] APSEC, 2003, pp:49-0 [Conf ] Guy H. Broadfoot ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software. [Citation Graph (0, 0)][DBLP ] FM, 2005, pp:548-551 [Conf ] Philippa J. Hopcroft , Guy H. Broadfoot Combining the Box Structure Development Method and CSP. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:340-345 [Conf ] Philippa J. Hopcroft , Guy H. Broadfoot Combining the Box Structure Development Method and CSP for Software Development. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:127-144 [Journal ] If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.001secs