Formal Methods Wiki

Formal Approaches to Computing and Information Technology (FACIT) is a book series. It is published by Springer-Verlag, London. The series editor is Professor S.A. Schuman, University of Surrey, UK.

External links[]