Evangelos Nanos

According to our database, Evangelos Nanos authored at least 1 paper in 1997.

Collaborative distances:

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

1997

Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study.

Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka

Proceedings of the Algebraic Methodology and Software Technology, 1997