VeriCCM: improving the syntax and semantics of requirements models.

Danielle Gaither, Kaushik Madala, Hyunsook Do, Barrett R. Bryant

Browse the full SAC paper archive.