Formal Aspects of Computing (Springer)
Established in 1989.
Last modified: Fri Aug 26 13:30:57 CEST 2022