Interconnecting formalisms Conferences

authors

• Fiadeiro, José Luiz
• Maibaum, Thomas

status

• published 

publication date

• October 1995

published in

• Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering  Journal

presented at event

• SOFT95: Foundations of Software Engineering  Conference

Digital Object Identifier (DOI)

• 10.1145/222124.222141

International Standard Book Number (ISBN) 13

• 978-0-89791-716-2

start page

• 72

end page

• 80

volume

• 20

issue

• 4