Showing 101 - 120 results of 315 for search '"software verification"', query time: 0.06s Refine Results
  1. 101
    Proceedings of the 1st international workshop on Random testing
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 102
    Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 103
    Proceedings of the Second International Workshop on Automation of Software Test
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 104
    Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 105
    Proceedings of the 2018 Afternoon Workshop on Kernel Bypassing Networks
    Published 2018
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 106
    Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 107
    Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 108
    Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 109
    Proceedings of the 19th international symposium on Software testing and analysis
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 110
    Proceedings of the 2012 International Symposium on Software Testing and Analysis
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 111
    Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 112
    Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 113
    Proceedings of the 2006 conference on Specification and verification of component-based systems
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 114
    Proceedings of the 2007 international symposium on Software testing and analysis
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 115
    Proceedings of the 16th international conference on Hybrid systems: computation and control
    Published 2013
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 116
    Proceedings of the 2015 International Symposium on Software Testing and Analysis
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 117
    Proceedings of the 2011 International Symposium on Software Testing and Analysis
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 118
    Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
    Published 2004
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 119
    Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
    Published 2003
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 120
    Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
    Published 2000
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search