Bill Stoddart
2 published titles
Integrated formal methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540411968
- Springer
- 2000
- Details
Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers
(Contributor)
1 edition
- ISBN: 9783540347507
- Springer
- 2006
- Details