Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings: 8734 (Lecture Notes in Computer Science)
by Borzoo Bonakdarpour, Scott A. Smolka
ISBN 13: 9783319111636
Format: Paperback (376 pages) Publisher: Springer Published: 23 Sep 2014
Save for later
Interactive Computation: The New Paradigm
by Dina Goldin, Scott A. Smolka, Peter Wegner
ISBN 13: 9783642071027
Format: Paperback (504 pages) Publisher: Springer Published: 14 Oct 2010