Flexible Module Operation Scheme in Formal Specification Process.

Hisayuki Horai

Browse the full APSEC paper archive.