Skip to content

Verifying the proxy design pattern using object propositions.

Ligia Nistor

VenueAOOPSLA
Year2017
ProceedingsSPLASH (Companion Volume)

Browse the full OOPSLA paper archive.