Showing 81 - 100 results of 315 for search '"software verification"', query time: 0.08s Refine Results
  1. 81
    Proceedings of the fourth ACM workshop on Formal methods in security
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 82
    Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems
    Published 2016
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 83
    Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
    Published 1983
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 84
    Proceedings of the symposium on High-level debugging
    Published 1983
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 85
    Proceedings of the sixth workshop on Programming languages meets program verification
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 86
    Proceedings of the 13th workshop on Foundations of aspect-oriented languages
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 87
    Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
    Published 2017
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 88
    Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
    Published 2017
    Subjects: “…Software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 89
    Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019
    Published 2019
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 90
    Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies
    Published 2018
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 91
    Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
    Published 2002
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 92
    Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 93
    Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
    Published 2011
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 94
    Proceedings of the third workshop on Formal methods in software practice
    Published 2000
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 95
    Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Published 1999
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 96
    Proceedings of the 6th ACM SIGPLAN Symposium on Scala
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 97
    Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis
    Published 2019
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 98
    Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems
    Published 2017
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 99
    Proceedings of the 2012 workshop on Developing competency in parallelism: techniques for education and training
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 100
    Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
    Published 2013
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search