Component Contract-Based Formal Specification Technique.

Ji-Hyun Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang

Browse the full ICCSA paper archive.