An Abstract Formalization of Correct Schemas for Program Synthesis

Pierre Flener, Kung K. Lau, Mario Ornaghi, Julian Richardson

Research output: Contribution to journalArticlepeer-review

19 Citations (Scopus)

Fingerprint

Dive into the research topics of 'An Abstract Formalization of Correct Schemas for Program Synthesis'. Together they form a unique fingerprint.

Engineering & Materials Science