Experts has a new look! Let us know what you think of the updates.

Provide feedback

Authors

Fiadeiro JL

Journal

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

Publisher

Association for Computing Machinery (ACM)

Publication Date

May 2010

DOI

10.1007/s00165-010-0151-6

ISSN

0934-5043