ℹ️
🇬🇧
Search
Search for publications relevant for "Variable assignments"
Variable assignments
Publication
Class
Person
Publication
Programmes
Export current view
publication
On Interpolants and Variable Assignments
2014 |
Faculty of Mathematics and Physics
publication
PVAIR: Partial Variable Assignment InterpolatoR
2016 |
Faculty of Mathematics and Physics
publication
Exploiting partial variable assignment in interpolation-based model checking
2019 |
Faculty of Mathematics and Physics
