Eerke Boiten profile picture

Eerke Boiten

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

Stand Alone

Integrated formal methods
Integrated Formal Methods 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Integrated Formal Methods 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings