Automated Technology for Verification and Analysis : 14th International Symposium, Proceedings
ISBN: 9783319465203
Information Available:
Cover Image
Copyright held by Baker & Taylor.