Showing 1 - 1 results of 1 for search 'Filliatre, Jean-Christophe', query time: 0.01s Refine Results
  1. 1
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    Get full text
    eBook
Search Tools: Get RSS Feed