# | | 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] |
| |
| | 2006 | | Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | Proceedings Article | |
1 |
| Malkis, Podelski, Rybalchenko [Gopalakrishnan, O'Leary] |
| |
5 |
| Matthews [-] |
| |
2 |
| |
1 |
| Matthews, Simpson [Simpson] |
| |
1 |
| Matthews, Smaill, Basin [-] |
| |
1 |
| Meter [-] |
| |
2 |
| |
1 |
| Meyer, Faber, Rybalchenko [Meyer, Faber, Barkaoui, Cavalcanti, Cerone] |
| |
1 |
| |
1 |
| Mukhopadhyay [-] |
| |
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 |
| Naumann [-] |
| |
1 |
| |