Josh MacDonald (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

1 Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato: PRCS: The Project Revision Control System. SCM 1998: 33-45

Selection of 2 from 3 records - Josh MacDonald has 13 coauthors

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
1		Josh MacDonald, Paul N. Hilfinger, Luigi Semenzato: PRCS: The Project Revision Control System. SCM 1998: 33-45