Opening book details…
About this scholarly article
Catalogue record by Tomacruz, E.; Sanghavi, J.; Sangiovanni-Vincentelli, A. is a scholarly article available to read on EtoBox.
- Author
- Tomacruz, E.; Sanghavi, J.; Sangiovanni-Vincentelli, A.
- Publisher
- ACM Press
- Published
- 1994