Overview of links to literature (books, papers, bibliographies, etc)

Book series:

• The Software Engineering Text+Handbooks, To be published by Springer-Verlag in spring 2005
• FACIT (Formal Approaches to Computing and Information Technology), Springer Verlag

General bibliographies:

Bibliographies on specific formal methods:

© copyright 2004 | Formal Methods Europe