Showing 121 - 140 results of 315 for search '"Software verification"', query time: 0.19s Refine Results
  1. 121
    Proceedings of the 6th ACM workshop on Formal methods in security engineering
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 122
    Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
    Published 2008
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 123
    Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 124
    Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 125
    Proceedings of the 5th international conference on Generative programming and component engineering
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 126
    Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 127
    Proceedings of the 2007 ACM workshop on Formal methods in security engineering
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 128
    Proceedings of the 13th International Workshop on Automation of Software Test
    Published 2018
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 129
    Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    Published 2017
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 130
    Proceedings of the 6th International Workshop on Automation of Software Test
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 131
    Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 132
    Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
    Published 2009
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 133
    Proceedings of the 2nd ACM workshop on Assurable and usable security configuration
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 134
    Deductive Software Verification – The KeY Book From Theory to Practice /
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  15. 135
    Proceedings of the 2005 conference on Specification and verification of component-based systems
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 136
    Proceedings of the 31st Brazilian Symposium on Software Engineering
    Published 2017
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 137
    Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
    Published 2018
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 138
    Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 139
    Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 140
    Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search