A C++ library for implementing specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

C. Minkowitz, D. Rann, J. H. Turner. A C++ library for implementing specifications. In Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995. pages 61-75, IEEE Computer Society, 1995. [doi]

This author has not been identified. Look up 'C. Minkowitz' in GoogleThis author has not been identified. Look up 'D. Rann' in GoogleThis author has not been identified. Look up 'J. H. Turner' in Google

runs on WebDSL