Benjamin Werner (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

11

Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers Springer 2006

Selection of 1 from 14 records - Benjamin Werner has 11 coauthors