Electronic Communications of the EASST
Martiinie, Célia, ICS-IRIT Université Toulouse III - Paul Sabatier, France
-
Volume 69: Formal Methods for Interactive Systems 2013 - Articles
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.