Showing 1 - 2 results of 2 for search 'Filliâtre, Jean-Christophe', query time: 0.01s Refine Results
  1. 1
    Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
    Published 2010
    Other Authors: “…Filliâtre, Jean-Christophe…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
    Published 2006
    Other Authors: “…Filliâtre, Jean-Christophe…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search