Francis Jambon. First steps in the retro-engineering of a GUI toolkit in the B language. In Khaldoun Zreik, Thomas Baudel, Christophe Kolski, Eric Brangier, editors, Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l Interaction Homme-Machine, IHM 2003, Caen, France, November 25-28, 2003. Volume 51 of ACM International Conference Proceeding Series, pages 118-125, ACM, 2003. [doi]
@inproceedings{Jambon03,
title = {First steps in the retro-engineering of a GUI toolkit in the B language},
author = {Francis Jambon},
year = {2003},
doi = {10.1145/1063669.1063686},
url = {http://doi.acm.org/10.1145/1063669.1063686},
tags = {language engineering},
researchr = {https://researchr.org/publication/Jambon03},
cites = {0},
citedby = {0},
pages = {118-125},
booktitle = {Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l Interaction Homme-Machine, IHM 2003, Caen, France, November 25-28, 2003},
editor = {Khaldoun Zreik and Thomas Baudel and Christophe Kolski and Eric Brangier},
volume = {51},
series = {ACM International Conference Proceeding Series},
publisher = {ACM},
isbn = {1-58113-803-2},
}