A Programming Logic for Sequential Java (1999)

by Arnd Poetzsch-Heffter , Peter Müller
Venue:Programming Languages and Systems (ESOP ’99), volume 1576 of LNCS
Citations:56 - 8 self