Contract Specification in Java: Classification, Characterization, and a New Marker Method
Downloads
Published
2008-11-01
Issue
Section
Papers
Login to access subscriber-only resources.
The Florida OJ service is provided through the FLVC Library Services. | FLVC Privacy Policy.