Prof. Leszek Pacholski Institute of Computer Science University / /
IndustryTerm
software verification specific problems / quantifier-rich software verification problems / software verification system / software system using formal methods / software applications / software systems / /
Organization
Leszek Pacholski Institute / Polish Ministry of Science and Education / Computer Science University of Wroclaw / /
Person
Leszek Pacholski Instytut Informatyki Uniwersytet / Thomas Santen / Nikolaj Bjørner / Michal Jan Moskal Praca / Stephan Tobies / Leszek Pacholski / Wolfram Schulte / Leonardo de Moura / Jan Moskal / Joe Kiniry / /