Prpu_Maxflow

MaRDI QIDQ53730swMATHFDO

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