Formal Design Constraints.

Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach

Browse the full OOPSLA paper archive.