Automated Technology for Verification and Analysis : 10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
ISBN: 9783642333866
Information Available:
Cover Image
Copyright held by Baker & Taylor.