A Methodology for the Description of System Requirements and the Derivation of Formal Specifications.

Atsushi Togashi, Fumiaki Kanezashi, Xiasong Lu

Browse the full FORTE paper archive.