Schlagwortarchiv für: FTF

Beyond NP: Reasoning with Quantified Boolean Formulas

Conceptualizations of Software and Data Quality