Authors

Fiadeiro JL; Gnesi S; Maibaum T

Journal

Formal Aspects of Computing, Vol. 24, No. 2, pp. 161–162

Publisher

Association for Computing Machinery (ACM)

Publication Date

March 1, 2012

DOI

10.1007/s00165-012-0224-9

ISSN

0934-5043

Contact the Experts team