see also the index (by topic, by tool, by reference, by year)
Claire Dross
https://fr.linkedin.com/in/claire-dross-6805b027
- Abstract models and refinement in SPARK: allocators example
- Cartesian Trees (from VerifyThis 2019) in SPARK
- Longest common prefix, in SPARK
- Queues, in SPARK
- Red-Black Trees in SPARK
- String search
- The BitWalker, SPARK version
see also the index (by topic, by tool, by reference, by year)