Skip to content

Tracing of Informal and Formal Requirements through Model Variables.

Martin Bschen, Christian Rudat

VenueCIC3K
Year2015
ProceedingsSKY

Browse the full IC3K paper archive.