Jon Hagar

According to our database, Jon Hagar authored at least 1 paper in 1995.

Collaborative distances:

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

1995

Adding formal specifications to a proven V&V process for system-critical flight software.

Jon Hagar, James M. Bieman

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995