archives

EPrints submitted by Steve Shaner

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

Click here to see user's record.

User has submitted 2 EPrints

Shaner, Steve (2009) Modular verification of higher-order methods with mandatory calls specified by model programs. Technical Report 09-16, Computer Science, Iowa State University.

Shaner, Steve (2009) Modular verification of higher-order methods with mandatory calls specified by model programs. Technical Report 09-16, Computer Science, Iowa State University.

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