Verification System for Formal Requirements Description.

Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno

Browse the full ICSE paper archive.