Sciweavers

2357 search results - page 5 / 472
» interfaces 2007
Sort
View
87
Voted
HCI
2007
15 years 3 months ago
Formal Validation of Java/Swing User Interfaces with the Event B Method
Alexandre Cortier, Bruno d'Ausbourg, Yamine Aï...