Skip to content

Verifiable Composition of Language Extensions.

Ted Kaminski

VenueBSLE
Year2012
ProceedingsSLE (Doctoral Symposium)

Browse the full SLE paper archive.