Formal Validation of Java/Swing User Interfaces with the Event B Method - Sciweavers

27

click to vote

more HCI 2007 ...

alexandre.cortier.free.fr

Tweet