Projects per year
Original language | English |
---|---|
Title of host publication | Tools and Algorithms for the Construction and Analysis of Systems |
Subtitle of host publication | 6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings |
Editors | J Esparza, R Majumdar |
Publisher | Springer |
Pages | 23-37 |
ISBN (Electronic) | 978-3-642-12002-2 |
ISBN (Print) | 978-3-642-12001-5 |
DOIs | |
Publication status | Published - 2010 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 6015 |
ISSN (Print) | 0302-9743 |
Projects
- 1 Finished
-
Automated quantitative software verification with PRISM
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/01/07 → 31/03/10
Project: Research Councils