JayHorn

swMATH25903MaRDI QIDQ37636FDOQ37636

Author name not available (Why is that?)

Source code repository: https://github.com/jayhorn/jayhorn

Cited In (3)

• Constraint-based relational verification
• Data abstraction: a general framework to handle program verification of data structures
• Title not available (Why is that?)

This page was built for software: JayHorn