Travelled to:
1 × Switzerland
Collaborated with:
M.B.Dwyer L.Hines
Talks about:
interfac (1) abstract (1) graphic (1) model (1) check (1) user (1) use (1)
Person: Vicki Carr
DBLP: Carr:Vicki
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.