The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae.

Marco Brambilla, Alin Deutsch, Liying Sui, Victor Vianu

Browse the full ICWE paper archive.