- Study at Deakin
- Campus life
- Industry and community
- About Deakin
Note: The 2012, 2013 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 2013 HERDC financial return has not been completed or loaded as yet.
No completions found or audited.
DRO to publications collection last synchronised: Monday 9th December 2013 10:04pm