Research Output for Mr Christopher Matthews
Note: The 2012, 2013, 2014, 2015 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.
- * Not a member of Deakin University at time of output.
DRO to publications collection last synchronised: Thursday 28th May 2015 10:04pm