Login / Signup
Property Satisfiability Analysis for Product Lines of Modelling Languages.
Esther Guerra
Juan de Lara
Marsha Chechik
Rick Salay
Published in:
IEEE Trans. Software Eng. (2022)
Keyphrases
</>
open source
distributed systems
propositional logic