Nico Hamacher, Jörg Marrenbach. WEFEMIS- ein Werkzeug zur formalen Evaluierung interaktiver Geräte. In Horst Oberquelle, Reinhard Oppermann, Jürgen Krause, editors, Mensch & Computer, 5. bis 8. März 2001 in Bad Honnef. pages 345-353, Teubner, 2001. [doi]
Abstract is missing.