Formal Aspects of Computing

Journal Abbreviation: FORM ASP COMPUT
ISSN: 0934-5043
Publisher: Springer Verlag (Germany)