Travelled to:
1 × Switzerland
Collaborated with:
M.B.Dwyer V.Carr
Talks about:
interfac (1) abstract (1) graphic (1) model (1) check (1) user (1) use (1)
Person: Laura Hines
DBLP: Hines:Laura
Contributed to:
Wrote 1 papers:
- ESEC-FSE-1997-DwyerCH #abstraction #model checking #user interface #using #visual notation
- Model Checking Graphical User Interfaces Using Abstractions (MBD, VC, LH), pp. 244–261.