×
Edit Profile (opens in new tab)

Munro, Malcolm

Co-Author Distance
Author ID: munro.malcolm Recent zbMATH articles by "Munro, Malcolm"
Published as: Munro, Malcolm; Munro, M.
Documents Indexed: 3 Publications since 2001
Co-Authors: 5 Co-Authors with 3 Joint Publications
107 Co-Co-Authors

Co-Authors

0 single-authored
1 Harman, Mark
1 Hu, Lin
1 Jang, Y. K.
1 Knight, Claire
1 Zhang, Xingyuan

Serials

1 Journal of Software Maintenance and Evolution. Research and Practice

Fields

3 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼
Weakest precondition for general recursive programs formalized in Coq. Zbl 1013.68202
Zhang, Xingyuan; Munro, Malcolm; Harman, Mark; Hu, Lin
3
2002
Weakest precondition for general recursive programs formalized in Coq. Zbl 1013.68202
Zhang, Xingyuan; Munro, Malcolm; Harman, Mark; Hu, Lin
3
2002
all top 5

Cited by 6 Authors

2 Ward, Martin P.
2 Zedan, Hussein
1 Kaminski, Benjamin Lucien
1 Katoen, Joost-Pieter
1 Matheja, Christoph
1 Olmedo, Federico

Cited in 2 Serials

1 Science of Computer Programming
1 Formal Aspects of Computing

Cited in 1 Field

3 Computer science (68-XX)

Citations by Year