User-Friendly GUI in Software Model Checking

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]

Abstract

Abstract is missing.