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.
@inproceedings{DAC-1998-YoungMSTHN,
author = "James Shin Young and Josh MacDonald and Michael Shilman and Abdallah Tabbara and Paul N. Hilfinger and A. Richard Newton",
booktitle = "{Proceedings of the 35th Design Automation Conference}",
doi = "10.1145/277044.277058",
isbn = "0-89791-964-5",
pages = "70--75",
publisher = "{ACM Press}",
title = "{Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement}",
year = 1998,
}