Logo
User: Guest  Login
Authors:
Kinder, Johannes 
Document type:
Monografie / Monograph 
Title:
Model Checking Malicious Code 
Place of publication:
München 
Publishing institution:
Fakultät Für Informatik, Technische Universität München 
Year:
2005 
Pages (Book):
92 
Language:
Englisch 
Miscellaneous:
Diplomarbeit an der Technische Universität München