Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| VerifyThis - Verification Competition with a Human Factor. | 0 | 0.34 | 2019 |
| Modelling of Autosar Libraries for Large Scale Testing. | 0 | 0.34 | 2017 |
| Dynamic Dispatch for Method Contracts Through Abstract Predicates. | 0 | 0.34 | 2016 |
| Dynamic dispatch for method contracts through abstract predicates | 2 | 0.36 | 2015 |