Automating Invariant Verification of Behavioral Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi. Automating Invariant Verification of Behavioral Specifications. In Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China. pages 49-56, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Masahiro Nakano' in GoogleThis author has not been identified. Look up 'Kazuhiro Ogata' in GoogleThis author has not been identified. Look up 'Masaki Nakamura' in GoogleThis author has not been identified. Look up 'Kokichi Futatsugi' in Google

runs on WebDSL