Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is P and Author is Matteo Marescotti [Clear All Filters]
Parallelization and modelling techniques for scalable SMT-based verification,
, Faculty of Informatics, 01.12.2020, Volume PhD, (2020)
