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

Sun, 01 Jan 1995 00:00:00 +0100

Dan Craigen:
Formal Methods Technology Transfer: Impediments and Innovation (Abstract). CONCUR 1995: 328-332