ID:DA11661682
Mohring, Christine Paulin-
Search authors sharing the same name
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-Mohring
Springer , [Amazon] [manufacture] c2010
: pbk
Available at 1 libraries
Philippe Audebaud, Christine Paulin-Mohring (eds.)
Springer c2008 Lecture notes in computer science 5133
Jean Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Springer c2006 Lecture notes in computer science 3839
Available at 7 libraries
Eduardo Giménez, Christine Paulin-Mohring (eds.)
Springer c1998 Lecture notes in computer science 1512
Available at 43 libraries
