James Woodcock profile picture

James Woodcock

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

Stand Alone

FME '96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.
App Design How to Conceive, Design, and Market Bestselling Apps