-
Bib ID# 32288
ISBN: 9783642356322
UPC: 10.1007/978-3-642-35632-2
Title: Runtime VerificationThird International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Author: Qadeer, Shaz.
Publication Info:
Item Type: Language material