|
|
|
Click here to see user's record.
User has submitted 4 EPrints
Bagherzadeh, Mehdi, Rajan, Hridesh and Darvish, Ali (2013) On Exceptions, Events and Observer Chains. Technical Report 12-12, Department of Computer Science, Iowa State University.
Bagherzadeh, Mehdi, Rajan, Hridesh, Gary T., Leavens and Mooney, Sean (2010) Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces. Technical Report 10-02a, Department of Computer Science, Iowa State University.
Mehdi, Bagherzadeh, Hridesh, Rajan, Gary T., Leavens and Sean, Mooney (2010) Translucid Contracts: Expressive Specification and Modular Verification for Aspect-oriented Interfaces. Technical Report 10-02, Department of Computer Science, Iowa State University.
Bagherzadeh, Mehdi, Robert , Dyer, Yuheng, Long and Hridesh, Rajan (2008) Instance-level Quantified, Typed Events for Integrated System Design. Technical Report 08-15, Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
