Prpu_Maxflow

swMATH38030MaRDI QIDQ53730FDOQ53730

Author name not available (Why is that?)

Described by source

• Formalizing network flow algorithms: a refinement approach in Isabelle/HOL

This page was built for software: Prpu_Maxflow