Relational Program Architecture for High Quality Software Development.

Dongfeng Wang, Farokh B. Bastani, I-Ling Yen

Browse the full SEKE paper archive.