Toggle navigation
Home
People
Departments
Research
About
Login
Search
Interconnecting formalisms
Journal Articles
Overview
Identity
Additional Document Info
View All
Overview
authors
Fiadeiro, José Luiz
Maibaum, Thomas
status
published
publication date
October 1995
published in
ACM SIGSOFT Software Engineering Notes
Journal
Identity
Digital Object Identifier (DOI)
10.1145/222132.222141
Additional Document Info
start page
72
end page
80
volume
20
issue
4