Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.

Shaoying Liu, Yong Sun

Browse the full ICECCS paper archive.