Modeling event driven applications with a specification language (MEDASL).

Murali Kaundinya, Ali Syed

Browse the full OOPSLA paper archive.