Trustworthy Graph Algorithms (Invited Talk) (Q5092359)
From MaRDI portal
scientific article; zbMATH DE number 7561645
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Trustworthy Graph Algorithms (Invited Talk) |
scientific article; zbMATH DE number 7561645 |
Statements
21 July 2022
0 references
graph algorithms
0 references
formal correct proofs
0 references
Isabelle
0 references
LEDA
0 references
certifying algorithms
0 references
Trustworthy Graph Algorithms (Invited Talk) (English)
0 references
