Showing 41 - 60 results of 315 for search '"software verification"', query time: 0.06s Refine Results
  1. 41
    Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 42
    Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 43
    Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 44
    Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
    Published 2013
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 45
    Proceedings of the 14th international conference on Hybrid systems: computation and control
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 46
    Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 47
    Proceedings of the 2005 ACM workshop on Formal methods in security engineering
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 48
    Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 49
    Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
    Published 2017
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 50
    Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 51
    Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 52
    Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 53
    Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 54
    Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
    Published 2020
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 55
    Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 56
    Proceedings of the 8th Workshop on Programming Languages and Operating Systems
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 57
    Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing
    Published 2019
    Subjects: “…Software verification and validation…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 58
    Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 59
    Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2018
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 60
    Proceedings of the 2007 workshop on Programming languages meets program verification
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search