Collections
From MaRDI portal
Software:40324
No author found.
Related Items (4)
Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm ⋮ Refinement to imperative HOL ⋮ Formal verification of an executable LTL model checker with partial order reduction ⋮ Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm
This page was built for software: Collections
