Authors

Paige RF; Brooke PJ

Journal

Formal Aspects of Computing, Vol. 21, , pp. 303–303

Publication Date

August 1, 2009

DOI

10.1007/s00165-009-0113-z

Contact the Experts team