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]
Abstract is missing.