Collections

swMATH28610MaRDI QIDQ40324FDOQ40324

Author name not available (Why is that?)

Cited In (4)

• Formal verification of an executable LTL model checker with partial order reduction
• Refinement to imperative HOL
• Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm
• Verified Efficient Implementation of Gabow’s Strongly Connected Component Algorithm

This page was built for software: Collections