ℹ️
🇬🇧
Search
Search for publications relevant for "weakest precondition"
weakest precondition
Publication
Class
Person
Publication
Programmes
Export current view
publication
Handling Heap Data Structures in Backward Symbolic Execution
2020 |
Faculty of Mathematics and Physics
publication
Predicate Abstraction in Java Pathfinder
2013 |
Faculty of Mathematics and Physics
