John A. Chaves

According to our database, John A. Chaves authored at least 2 papers between 1991 and 1995.

Collaborative distances:

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

1995

A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report.

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen

Proceedings of the 17th International Conference on Software Engineering, 1995

1991

Formal Methods at AT&T - An Industrial Usage Report.

John A. Chaves

Proceedings of the Formal Description Techniques, 1991