Program Specification and Synthesis in Constructive Formal Systems.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Browse the full LOPSTR paper archive.