Papers: 10.1007/978-3-030-53291-8_11

https://doi.org/10.1007/978-3-030-53291-8_11

Recursive Data Structures in SPARK

Cited by: 4
Author(s): Claire Dross, Johannes Kanig
Published: almost 7 years ago

Software Mentions 2