MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
2
Show details for MacNish, Craig (ed.)MacNish, Craig (ed.)
6
Show details for Madden, PeterMadden, Peter
2
Show details for Magirou, VangelisMagirou, Vangelis
1
Show details for Maher, Michael (ed.)Maher, Michael (ed.)
1
Show details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1
Show details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
10
Show details for Maier, PatrickMaier, Patrick
2
Show details for Majumdar, RupakMajumdar, Rupak
2
Show details for Makinson, DavidMakinson, David
2
Show details for Malkis, AlexanderMalkis, Alexander
1
Show details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1
Show details for Mancarella, P. (ed.)Mancarella, P. (ed.)
2
Show details for Mannila, HeikkiMannila, Heikki
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marché, Claude (ed.)Marché, Claude (ed.)
2
Show details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
1
Show details for Marek, V. W. (ed.)Marek, V. W. (ed.)
2
Hide details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
2001[Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.]		Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283		Proceedings Article
1996Ayari, Abdelwaheb
Basin, David A.		Generic System Support for Deductive Program Development
In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, 313-328		Proceedings Article
4
Show details for Martelli, MaurizioMartelli, Maurizio
1
Show details for Martin, David (ed.)Martin, David (ed.)
2
Show details for Mascardi, VivianaMascardi, Viviana
22
Show details for Matthews, SeanMatthews, Sean
1
Show details for Maus, StefanMaus, Stefan
1
Show details for Mayr, Ernst W. (ed.)Mayr, Ernst W. (ed.)
3
Show details for McAllester, DavidMcAllester, David
4
Show details for McAllester, David (ed.)McAllester, David (ed.)
3
Show details for McCluskey, Lee (ed.)McCluskey, Lee (ed.)
2
Show details for McCune, William (ed.)McCune, William (ed.)

Next Page