Bowen, Judy
-
Volume 22: Formal Methods for Interactive Systems 2009 - Articles
UI-Design Driven Model-Based Testing
Abstract PDF -
Volume 45: Formal Methods for Interactive Systems 2011 - Preface
Preface for FMIS 2011
Details PDF
Hosted By Universitätsbibliothek TU Berlin.