James Shin Young

According to our database, James Shin Young authored at least 1 paper in 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.

James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton

Proceedings of the 35th Conference on Design Automation, 1998