31 search results - page 7 / 7 » Model Checking the Java Meta-Locking Algorithm |
151
click to vote
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...