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

• Authors:

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

• Affiliations:

• -;-;-;-;-

• Venue:
• AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
• Year:
• 1997