Software Technologies: Applications and Foundations Mais livros de Martina Seidl & Steffen Zschaler

Theory and Applications of Satisfiability Testing – SAT 2020

2020