# | | Year | | Title | Type | |
3 |
| Madden [-] |
| |
1 |
| |
1 |
| Madden, Bundy, Smaill [Bundy, Smaill] |
| |
1 |
| |
3 |
| Maier [-] |
| |
1 |
| |
1 |
| Maier [Marcinkowski, Tarlecki] |
| |
1 |
| Maier [Orejas, Spirakis, van Leeuwen] |
| |
2 |
| Makinson, van der Torre [Makinson] |
| |
1 |
| Malkis, Podelski, Rybalchenko [Barkaoui, Cavalcanti, Cerone] |
| |
1 |
| Malkis, Podelski, Rybalchenko [Gopalakrishnan, O'Leary] |
| |
5 |
| |
2 |
| Matthews, Basin [Basin] |
| |
1 |
| Matthews, Simpson [Simpson] |
| |
1 |
| Matthews, Smaill, Basin [-] |
| |
1 |
| |
2 |
| Meyer [-] |
| |
1 |
| Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone] |
| |
1 |
| Mohr [-] |
| |
1 |
| |
2 |
| Mukhopadhyay, Podelski [-] |
| |
1 |
| Mukhopadhyay, Podelski [Koenig, Holte] |
| |
1 |
| Mukhopadhyay, Podelski [Ramakrishnan] |
| |
1 |
| Mukhopadhyay, Podelski [Ramanujam, Raman] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren, Bidoit, Dauchet] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren, Smolka] |
| |
1 |
| Müller, Niehren, Podelski [Müller, Niehren] |
| |
1 |
| |
1 |
| Nielson, Seidl [Seidl] |
| |
| | 2001 | | Control-Flow Analysis in Cubic Time
In: Proceedings of the 10th European Symposium on Programming (ESOP-01) held as part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 252-268 | Proceedings Article | |