Whispec

swMATH38506MaRDI QIDQ54206FDOQ54206

Author name not available (Why is that?)

Official website: https://dl.acm.org/doi/abs/10.1145/1512762.1512764

Cited In (9)

• CompoSAT: specification-guided coverage for model finding
• Alloy*
• margrave
• Bordeaux
• CD2Alloy
• cddiff
• CompoSAT
• VERMEER
• WhyLine

This page was built for software: Whispec