Return to Article Details Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification Download Download PDF