- Study at Deakin
- Life at Deakin
- Industry and community
- About Deakin
Note: The 2012, 2013, 2014 publications have not been audited.
Matthews, C. and Swatman, P. (2000) Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z, in Bowen,Dunne,Galloway,King (eds), ZB 2000: Formal Specification and Development in Z and B, pp. 491-510, Springer-Verlag, Berlin [E1]
no DRO entry yet for this publication
No grants and/or consultancies found or audited – the 2014 HERDC financial return has not been completed or loaded as yet.
No completions found or audited.
DRO to publications collection last synchronised: Wednesday 30th July 2014 10:04pm