CISUC

Theorem Proving for Product Line Model Verification

Authors

Mike Mannion
Javier Cámara Moreno


Conference

Fifth International Workshop on Product Family Engineering (PFE-5) 2003


Cited by

No citations found