Journal article
Interconnecting formalisms
Authors
Fiadeiro JL; Maibaum T
Journal
ACM SIGSOFT Software Engineering Notes, Vol. 20, No. 4, pp. 72–80
Publisher
Association for Computing Machinery (ACM)
Publication Date
October 1995
DOI
10.1145/222132.222141
ISSN
0163-5948