archives

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


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 1 entries

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.



Contact site administrator at: ssg@cs.iastate.edu