Skip to content

Modularity Assessment Framework for Context-dependent Formal Specifications.

Naoyasu Ubayashi

VenueBSPLC
Year2010
ProceedingsSPLC Workshops

Browse the full SPLC paper archive.