Book Volume 1287 1997

Formal Hardware Verification

Methods and Systems in Comparison

Editors:

ISBN: 978-3-540-63475-1 (Print) 978-3-540-69577-6 (Online)