Executing Formal Specifications with Constraint Programming (1998)

by Tim Wahls , Gary T. Leavens , Albert L. Baker
Citations:2 - 1 self