Authors

Fiadeiro JL

Journal

Formal Aspects of Computing, Vol. 22, No. 3, pp. 215–216

Publisher

Association for Computing Machinery (ACM)

Publication Date

May 1, 2010

DOI

10.1007/s00165-010-0151-6

ISSN

0934-5043

Contact the Experts team