Prpu_Maxflow

swMATH38030MaRDI QIDQ53730FDOQ53730

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Prpu_Maxflow.html

Described by source

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

Cited In (3)

• Netsoft
• MLton
• Flow Networks

This page was built for software: Prpu_Maxflow