Author: Michael Breen
Publication Overview
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