The domain of parametric hypercubes for static analysis of computer games software

Thumbnail
Metadata only
Author
Costantini, Giulia
Ferrara, Pietro
Maggiore, Giuseppe
Cortesi, Agostino
Show all
Date
2013-12-11
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Groves, Lindsay
Sun, Jing
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
Lecture Notes in Computer Science
Volume
8144
Pages / Article No.
447 - 463
Publisher
Springer
Event
15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013
Organisational unit
03653 - Müller, Peter / Müller, Peter  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics