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[edit | edit source] FACIT information This article is a stub. You can help Formal Methods Wiki by expanding it. Retrieved from "https://formalmethods.wikia.org/wiki/FACIT?oldid=4034" Categories: Article stubs FACIT Book series Add category Cancel Save Community content is available under CC-BY-SA unless otherwise noted.