Evangelos Nanos

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. AMAST (1997)