Lightweight formal methods for embedded software (2000–2002)

Grant type:
Foxboro Australia Pt Ltd
Funded by:
Foxboro Australia Pty Ltd