An edition of Tools and algorithms for the construction and analysis of systems (2010)
Tools and algorithms for the construction and analysis of systems
16th 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
By TACAS 2010 (2010 Paphos, Cyprus)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2010
Publisher
Springer
Language
eng
Pages
468