A semi-automatic proof of strong connectivity
From MaRDI portal
Publication:1630027
DOI10.1007/978-3-319-72308-2_4zbMath1403.68221OpenAlexW2767224817MaRDI QIDQ1630027
Publication date: 7 December 2018
Full work available at URL: https://hal.inria.fr/hal-01632947/file/17scct.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formalizing network flow algorithms: a refinement approach in Isabelle/HOL
Uses Software
This page was built for publication: A semi-automatic proof of strong connectivity
