DMCA

Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers

by Svetoslav Ganov , Sarfraz Khurshid , Dewayne E. Perry
Citations:1 - 0 self