1 books in this genre
Tools and algorithms for the construction and analysis of systems
TACAS 2010 (2010 Paphos, Cyprus)