Program Synthesis from Formal Requirements Specifications using APTS (2003)

Cached

Download Links

by Elizabeth I. Leonard , Constance L. Heitmeyer
Venue:Higher-Order and Symbolic Computation
Citations:7 - 3 self