Forms of Logic Specifications: A Preliminary Study.

Kung-Kiu Lau, Mario Ornaghi

Browse the full LOPSTR paper archive.