Computer aided verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
作者:edited by Armin Biere, Roderick Bloem.
出版者:Springer International Publishing : Imprint: Springer