Bibtex de la publication

@InProceedings{ Si2013.3,
author = {Silva, José Luis and Fayollas, Camille and Hamon, Arnaud and Palanque, Philippe and Martinie De Almeida, Celia and Barboni, Eric},
title = "{Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)}",
booktitle = "{International Workshop on Formal Methods for Interactive Systems (FMIS), London, 24/06/2013}",
year = {2013},
month = {juin},
publisher = {Electronic Communications of the EASST},
address = {http://eceasst.cs.tu-berlin.de/},
pages = {(electronic medium)},
language = {anglais}
}