| Money Grows on (Proof-)Trees - The Formal FA1.2 Ledger Standard. | 0 | 0.34 | 2021 |
| Formal methods and software engineering for DL. Security, safety and productivity for DL systems development. | 0 | 0.34 | 2019 |
| Fast as a shadow, expressive as a tree: Optimized memory monitoring for C. | 2 | 0.37 | 2016 |
