Search Results - Filliâtre, Jean-Christophe

  • Showing 1 – 1 results of 1
Filter by
  1. 1
    Cover Image

    Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
    by Filliâtre, Jean-Christophe

    Published 2010
    Electronic eBook


    Saved in:

Search Tools: