Toggle navigation
Home
People
Departments
Research
About
Login
Search
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Maibaum, Thomas
publication date
2008
published in
ICFEM
Journal
Identity
International Standard Book Number (ISBN) 13
978-3-540-88193-3
Additional Document Info
volume
5256