Bu türde 1 kitap
Tools and algorithms for the construction and analysis of systems
TACAS 2010 (2010 Paphos, Cyprus)
