TY  - DATA
AU  - Margaria,Tiziana
AU  - Steffen,Bernhard
ED  - SpringerLink (Online service)
TI  - Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings 
T2  - Communications in Computer and Information Science,
SN  - 9783540884798
PY  - 2009///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer system performance
KW  - Software engineering
KW  - Computer simulation
KW  - Computer Science
KW  - Software Engineering
KW  - Programming Techniques
KW  - Software Engineering/Programming and Operating Systems
KW  - Models and Principles
KW  - Simulation and Modeling
KW  - System Performance and Evaluation
N1  - Restringido a usuarios de la UCA
UR  - http://dx.doi.org/10.1007/978-3-540-88479-8
ER  -