Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL
Crossref DOI link: https://doi.org/10.1007/s10817-017-9442-4
Published Online: 2017-12-01
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lammich, Peter http://orcid.org/0000-0003-3576-0504
Sefidgar, S. Reza
Text and Data Mining valid from 2017-12-01
Article History
Received: 6 March 2017
Accepted: 22 November 2017
First Online: 1 December 2017