No photo of Philippe Meunier

View Scopus Profile

Philippe Meunier

Calculated based on number of publications stored in Pure and citations from Scopus
20042006

Research activity per year

  • 3 Article
  • 1 Conference contribution
  • 1 Paper
Filter
Conference contribution

Search results

  • 2006

    Modular set-based analysis from contracts

    Meunier, P., Findler, R. B. & Felleisen, M., 2006, Conference Record of POPL 2006: 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 218-231 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    19 Scopus citations