The domain of parametric hypercubes for static analysis of computer games software
METADATA ONLY
Loading...
Author / Producer
Date
2013-12-11
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Book title
Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings
Journal / series
Volume
8144
Pages / Article No.
447 - 463
Publisher
Springer
Event
15th International Conference on Formal Engineering Methods, ICFEM 2013
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03653 - Müller, Peter / Müller, Peter