Software Logical Structure Verification Method by Modeling Implemented Specification.

Keiji Uetsuki, Tohru Matsuodani, Kazuhiko Tsuda

Browse the full KES paper archive.