VERMEER

swMATH38507MaRDI QIDQ54207FDOQ54207

Author name not available (Why is that?)

Official website: https://ieeexplore.ieee.org/abstract/document/7203056

Cited In (8)

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

This page was built for software: VERMEER