alexcere/sfs-equivalence-dafny
Specification and verification of an algorithm to check equivalence for Stack Functional Specifications (SFS)
C#
Specification and verification of an algorithm to check equivalence for Stack Functional Specifications (SFS)
C#