Skip to content

Static analysis of component systems using behavior protocols.

Jir Admek

VenueAOOPSLA
Year2003
ProceedingsOOPSLA Companion

Browse the full OOPSLA paper archive.