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