Showing 1 - 3 results of 3 for search 'Tahar, Sofiène', query time: 0.01s Refine Results
  1. 1
    Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
    Published 2008
    Other Authors: “…Tahar, Sofiène…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings /
    Published 2002
    Other Authors: “…Tahar, Sofiene…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /
    Published 2017
    Other Authors: “…Tahar, Sofiène…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search