Transforming specifications of observable behaviour into programs (1994)

by David Gilbert , Christopher Hogger
Venue:In Logic Program Synthesis and Transformation. Proceedings of LOPSTR'94
Citations:1 - 0 self