Formal Methods: State of the Art and New Directions

Overview of attention for book

Springer London

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 13 citations on 9 Wikipedia pages.

Jonathan P. Bowen FBCS FRSA (född 1956) är en brittisk datavetare och emeritusprofessor vid en, där han ledde Center for Applied Formal Methods.

Jonathan P. Bowen FBCS FRSA (född 1956) är en brittisk datavetare och emeritusprofessor vid en, där han ledde Center for Applied Formal Methods.

Jonathan P. Bowen FBCS FRSA (född 1956) är en brittisk datavetare och emeritusprofessor vid en, där han ledde Center for Applied Formal Methods.

Jonathan Bowen (* 1956 in Oxford) ist ein britischer Informatiker.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity, including 9 additional Wikipedia articles.