Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /

Corporate Authors: TACAS (Conference) Rome, Italy); SpringerLink (Online service); ETAPS (Conference) Rome, Italy)
Group Author: Piterman, Nir; Smolka, Scott A.
Published: Springer,
Publication Dates: [2013]