![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 2 | James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton: Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement. DAC 1998: 70-75 |
Selection of 1 from 3 records - Josh MacDonald has 13 coauthors
Copyright © 2009-12-28 by Michael Ley (ley@uni-trier.de)