M. D. Francis

Publication Activity (10 Years)

Years Active: 1991-2019
Publications (10 Years): 1

Top Topics

Top Venues

Australas. J Comb.

Publications

M. D. Francis, Christina M. Mynhardt, Jane L. Wodlinger
Subgraph-avoiding minimum decycling sets and k-conversion sets in graphs. Australas. J Comb. 74 (2019)
Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes
Formal Methods and Their Future. EUROCAST (1993)
Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave
Formal Tools in Tri-State Design in Busses. TPHOLs (1992)
Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman
The need for a core method DIALOG - Linking formal proof to the design environment. Microprocessing and Microprogramming 32 (1-5) (1991)