Silva, J.-L., Fayollas, C., Hamon, A., palanque, P., Martiinie, C., & Barboni, E. (2014). Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. Electronic Communications of the EASST, 69. https://doi.org/10.14279/tuj.eceasst.69.967