Distributed Cooperative Formal Methods Tools - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, A. Sato. Distributed Cooperative Formal Methods Tools. In ASE. pages 55-62, 1997. [doi]

This author has not been identified. Look up 'Joseph A. Goguen' in GoogleThis author has not been identified. Look up 'Kai Lin' in GoogleThis author has not been identified. Look up 'A. Mori' in GoogleIdentified as Grigore Rosu This author has not been identified. Look up 'A. Sato' in Google

runs on WebDSL