by Aydemir, Brian E., Bohannon, Aaron, Fairbairn, Matthew, Foster, J. Nathan, Pierce, Benjamin C., Sewell, Peter, Vytiniotis, Dimitrios, Washburn, Geoffrey, Weirich, Stephanie, Zdancewic, Steve
Published in Lecture notes in computer science (2005)

by Sozeau, Matthieu, Oury, Nicolas
Published in Theorem Proving in Higher Order Logics (01.01.2008)

by Harrison, John
Published in Lecture notes in computer science (2005)

by Grégoire, Benjamin, Mahboubi, Assia
Published in Lecture notes in computer science (01.01.2005)

by O’Connor, Russell
Published in Lecture notes in computer science (2005)

by Gargano, Mauro, Hillebrand, Mark, Leinenbach, Dirk, Paul, Wolfgang
Published in Lecture notes in computer science (2005)

by Ridge, Tom, Margetson, James
Published in Lecture notes in computer science (2005)

by Hunt, Warren A., Kaufmann, Matt, Krug, Robert Bellarmine, Moore, J Strother, Smith, Eric Whitman
Published in Lecture notes in computer science (2005)

by Obua, Steven
Published in Lecture notes in computer science (2005)

by Oury, Nicolas
Published in Lecture notes in computer science (2005)

by Homeier, Peter V.
Published in Lecture notes in computer science (2005)

by Toma, Diana, Borrione, Dominique
Published in Lecture notes in computer science (2005)

by Naumann, David A.
Published in Lecture notes in computer science (2005)

by MARCHE, Claude, PAULIN-MOHRING, Christine
Published in Lecture notes in computer science (2005)

by Muñoz, César, Lester, David
Published in Lecture notes in computer science (2005)

by Huffman, Brian, Matthews, John, White, Peter
Published in Lecture notes in computer science (2005)

by Schmaltz, Julien, Borrione, Dominique
Published in Lecture notes in computer science (2005)

by Nipkow, Tobias, Paulson, Lawrence C.
Published in Lecture notes in computer science (2005)

by Ortner, Veronika, Schirmer, Norbert
Published in Lecture notes in computer science (2005)

by Moore, J. Strother, Zhang, Qiang
Published in Lecture notes in computer science (2005)