Merkliste 
 1 Ergebnisse 
 
1

Formal methods in human-computer interaction 

Formal approaches to computing and information technology - FACIT
Exemplar:  Zentrale:E02 a inf 360/050