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