Bordeaux

swMATH38505MaRDI QIDQ54205FDOQ54205

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-662-54494-5_2

Cited In (9)

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

This page was built for software: Bordeaux