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