Browse by Subject: COMPUTERS IN OTHER SYSTEMS (C.3)

• (Top Level)
• Computer Applications
• COMPUTERS IN OTHER SYSTEMS (C.3) (1)

Leavens, Gary T., Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, Cliff, Miller, Dale, Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R. and Stump, Aaron (2006) Roadmap for Enhanced Languages and Methods to Aid Verification. Technical Report 06-21, Computer Science, Iowa State University.