Robert M. Hierons profile picture

Robert M. Hierons

Is this your author profile? Create an account to customize it!

Stand Alone

Formal methods and testing
TestCom 2004
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Testing of Communicating Systems 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings