Richard Banach profile picture

Richard Banach

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

Stand Alone

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings