Author

Paul Boca

2 books found

Cover of Formal methods

Formal methods

Paul Boca, J. P. Bowen, J. I. Siddiqi · First published 2009

Cover of Abstract State Machines, B and Z

Abstract State Machines, B and Z

Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca · First published 2008