Stephen A. Fridella, Ph.D.
Affiliations: | 2000 | Ohio State University, Columbus, Columbus, OH |
Area:
Computer ScienceGoogle:
"Stephen Fridella"Parents
Sign in to add mentorNeelam Soundarajan | grad student | 2000 | Ohio State | |
(Incremental specification and verification of object systems.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Soundarajan N, Fridella S. (2004) Incremental reasoning for object oriented systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2635: 302-333 |
Soundarajan N, Fridella S. (1999) Modeling exceptional behavior Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1723: 691-704 |