Robert M. Hierons
2 published titles
Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings
(Contributor)
1 edition
- ISBN: 3540212191
- Springer
- 2004
- Details
Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642405600
- Springer
- 2013
- Details
