Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Henkel, Johannes - Department of Computer Science, University of Colorado at Boulder
Simple Interactive Animated Autostereograms An Experimental Game
Discovering and Debugging Algebraic Specifications
Discovering Algebraic Speci cations from Java Classes ?
A Tool for Writing and Debugging Algebraic Specifications Johannes Henkel # and Amer Diwan #
Discovering Algebraic Specifications from Java Classes #
Case Study: Debugging a Discovered Specification for java.util.ArrayList by
Discovering Speci cations
Constrained Java and its Application for Refactoring large Java
Improving the Readability of Java Source Code with Scope Minimization
9LVXDOL]DWLRQDVDQ$LGWR&RPSRVLWLRQDO6RIWZDUH(QJLQHHULQJ Harold Ossher
Discovering Algebraic Specifications from Java Classes
Komposition von XML Dataflows zur Integration heterogener
Discovering Algebraic Specifications from Java Classes
A Tool for Writing and Debugging Algebraic Specifications
