Allan L. Mennie

According to our database, Allan L. Mennie authored at least 1 paper in 1981.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1981

Information Flow Certification Using an Intermediate Code Program Representation.

Allan L. Mennie, Glenn H. MacEwen

IEEE Trans. Software Eng., 1981