First steps in the retro-engineering of a GUI toolkit in the B language

Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine - IHM 2003 ◽

10.1145/1063669.1063686 ◽

2003 ◽

Author(s):

Francis Jambon

Download Full-text