Sign in
Theorem Proving for Product Line Model Verification.
Mike Mannion
Javier Cámara
Published in:
PFE (2003)
Keyphrases
</>
theorem proving
product line
high level
information systems
probability distribution
real world
software engineering
graphical models
first order logic
formal model