Skip to content

A Programming Logic for Sequential Java.

Arnd Poetzsch-Heffter, Peter Mller

VenueAESOP
Year1999
ProceedingsESOP

Browse the full ESOP paper archive.