Showing 61 - 80 results of 315 for search '"Software verification"', query time: 0.06s Refine Results
  1. 61
    Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 62
    Proceedings of the 25th International Conference on Compiler Construction
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 63
    Proceedings of the First International Workshop on Software Correctness for HPC Applications
    Published 2017
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 64
    Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering
    Published 2018
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 65
    Proceedings of the 4th International Workshop on Feature-Oriented Software Development
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 66
    Proceedings of the ACM international conference on Object oriented programming systems languages and applications
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 67
    Proceedings of the ACM SIGPLAN workshop on Generic programming
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 68
    Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 69
    Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
    Published 2017
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 70
    Proceedings of the 10th international workshop on Foundations of aspect-oriented languages
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 71
    Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 72
    Proceedings of the 10th international workshop on Formal methods for industrial critical systems
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 73
    Proceedings of the 8th workshop on Assurances for self-adaptive systems
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 74
    Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2004
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 75
    Proceedings of the 17th international doctoral symposium on Components and Architecture
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 76
    Proceedings of the second workshop on Automated formal methods
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 77
    Proceedings of the 2012 ACM conference on High integrity language technology
    Published 2012
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 78
    Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 79
    Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Published 2004
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 80
    Proceedings of the 3rd international workshop on Automation of software test
    Published 2008
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search