Bhansali, S, Hoar, TJ. (1998). Automated software synthesis: An application in mechanical CAD
.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 24(10), 848-862. 10.1109/32.729684
Bhansali, S, Hoar, TJ. (1998). Automated software synthesis: An application in mechanical CAD
. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 24(10), 848-862. 10.1109/32.729684