Author: Michael Breen
Publications
Publication period start: 2005
Publications
Breen, Michael (2005): Experience of using a lightweight formal specification method for a commercial embedded sy. In Requir. Eng., 10 (2) pp. 161-172. https://dx.doi.org/10.1007/s00766-004-0209-1