Abstraction by Symbolic Indexing Transformations
Thomas F. Melham and Robert B. Jones
Book Title
Formal Methods in Computer−Aided Design: 4th International Conference‚ FMCAD 2002: Portland‚ OR‚ USA‚ November 6–8‚ 2002: Proceedings
Editor
Mark D. Aagaard and John W. O'Leary
ISBN
3−540−00116−6
ISSN
0302−9743
Pages
1–18
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2517
Year
2002