Search results for: Karsten Loer
IFIP — The International Federation for Information Processing > Human Error, Safety and Systems Development > Formal Methods and Notations > 45-60
Lecture Notes in Computer Science > Interactive Systems Design, Specification, and Verification > Formal Methods for Human-Computer Interaction > 169-190
IFIP — The International Federation for Information Processing > Human Error, Safety and Systems Development > Formal Methods and Notations > 45-60
Automated Software Engineering > 2006 > 13 > 4 > 469-496