Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY
| Publication | Article in Lecture Notes in Computer Science, published July 2022 |
|---|---|
| Authors | Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…