The JavaTime Approach
J : Original Java Program
M: Target Computational Model (formal or informal)
JM: Java Program Consistent with M
J
M
...
Previous slide
Next slide
Back to first slide
View graphic version