An Approach to Software Process Management Based on Formal Process Modeling and Analysis.

Sang-Yoon Min, Ik-Joo Han, Wei-Jin Park, Doo-Hwan Bae

Browse the full APSEC paper archive.