Login / Signup

Model checking software architecture specifications in SAM.

Xudong HeJunhua DingYi Deng
Published in: SEKE (2002)
Keyphrases