Munro, Malcolm
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 |
Publications by Year
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) |