DMCA

Software design, specification and verification: Lessons learned from the Rether case study (1997)

by Xiaoqun Du , Kevin T. McDonnell , Evangelos Nanos , Y. S. Ramakrishna , Scott A. Smolka
Venue: PROC. OF SIXTH INTERNATIONAL CONFERENCE ON ALGEBRAIC METHODS AND SOFTWARE TECHNOLOGY
Citations:3 - 2 self