2006

A Roadmap for Formal Property Verification

Authors:

ISBN: 978-1-4020-4757-2 (Print) 978-1-4020-4758-9 (Online)