Towards a formal theory of program construction (1990)

by Christoph Kreitz
Venue:REVUE D'INTELLIGENCE ARTIFICIELLE
Citations:4 - 2 self