Michael Breen. Experience of using a lightweight formal specification method for a commercial embedded system product line. Requir. Eng., 10(2):161-172, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.