Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Browse the full ECOOP paper archive.