Jonathan Unger

According to our database, Jonathan Unger authored at least 2 papers between 1995 and 1997.

Collaborative distances:

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

1997

Experience with Z Developing a Control Program for a Radiation Therapy Machine.

Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

1995

From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine.

Jonathan Jacky, Jonathan Unger

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995