Scalable Techniques for Formal Verification
ISBN: 9781441959980
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.