TACAS 2008 (2008 Budapest, Hungary) profile picture

TACAS 2008 (2008 Budapest, Hungary)

Tools and Algorithms for the Construction and Analysis of Systems