1 libri in questo genere
Tools and algorithms for the construction and analysis of systems
TACAS 2010 (2010 Paphos, Cyprus)
