M. D. Francis

According to our database, M. D. Francis authored at least 4 papers between 1991 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Subgraph-avoiding minimum decycling sets and k-conversion sets in graphs.

M. D. Francis, Christina M. Mynhardt, Jane L. Wodlinger

Australas. J Comb., 2019

1993

Formal Methods and Their Future.

Gerry Musgrave, Simon Finn, M. D. Francis, R. Harris, Roger B. Hughes

Proceedings of the Computer Aided Systems Theory, 1993

1992

Formal Tools in Tri-State Design in Busses.

Roger B. Hughes, M. D. Francis, Simon Finn, Gerry Musgrave

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

The need for a core method DIALOG - Linking formal proof to the design environment.

Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman

Microprocessing and Microprogramming, 1991