Skip to content

Formal Methods Technology Transfer: Impediments and Innovation (Abstract).

Dan Craigen

VenueBCONCUR
Year1995
ProceedingsCONCUR

Browse the full CONCUR paper archive.