Constructive Specifications for Compositional Units.

Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi

Browse the full LOPSTR paper archive.