Constructive Specifications for Compositional Units

Logic Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/11506676_13 ◽

2005 ◽

pp. 198-214

Author(s):

Kung-Kiu Lau ◽

Alberto Momigliano ◽

Mario Ornaghi

Download Full-text