archives

Browse by Subject: SOCIAL AND BEHAVIORAL SCIENCES


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 1 entries

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2006) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report TR98-06-rev29, Computer Science, Iowa State University.



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