User-Friendly GUI in Software Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Haruhiko Sato, Shoichi Yokoyama, Masahito Kurihara. User-Friendly GUI in Software Model Checking. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009. pages 468-473, IEEE, 2009. [doi]

This author has not been identified. Look up 'Haruhiko Sato' in GoogleThis author has not been identified. Look up 'Shoichi Yokoyama' in GoogleThis author has not been identified. Look up 'Masahito Kurihara' in Google

runs on WebDSL