Path
Home
News
The Centre
Research Groups
People
Projects
Publications
Tech Reports
Open Positions
Events
How to get to CISUC
Member Access
People
Mike Mannion
Email
Export publications Citations
Export publications BibTeX
Conference Articles
2003
(1 publication)
Mannion, M. and Javier Cámara , "Theorem Proving for Product Line Model Verification", in
Fifth International Workshop on Product Family Engineering (PFE-5)
, 2003