Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2012
Page: 261
ISBN: 978-3-642-31758-3,978-3-642-31759-0
File Type: pdf
File Size: 4.7 MiB

Just click on START button on Telegram Bot