Toggle navigation
Home
People
Departments
Research
About
Login
Search
Checking Well-Formedness of Pure-Method Specifications.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Maibaum, Thomas
Rudich, Arsenii
Darvas, Ádám
Müller, Peter
publication date
2008
published in
FM
Journal
Identity
International Standard Book Number (ISBN) 13
978-3-540-68235-6
Additional Document Info
start page
68
end page
83
volume
5014