Transferring Formal Methods Technology to Industry - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil. Transferring Formal Methods Technology to Industry. In 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT 98), October 20-23, 1998, Boca Raton, FL, USA. pages 128, IEEE Computer Society, 1998. [doi]

This author has not been identified. Look up 'Patrice Godefroid' in GoogleThis author has not been identified. Look up 'John Kelly' in GoogleThis author has not been identified. Look up 'Steven P. Miller' in GoogleThis author has not been identified. Look up 'Frank Weil' in Google

runs on WebDSL