MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods: State of the Art and New Directions

Published 2010

Springer London

Other Authors: “...Boca, Paul...”

Cover Image

2

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Boca, Paul...”