Showing 101 - 120 results of 2,488 for search '"Formality"', query time: 0.28s Refine Results
  1. 101
    Proceedings of the 25th International Conference on Compiler Construction
    Published 2016
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 102
    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
  3. 103
    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
  4. 104
    Proceedings of the 4th International Workshop on Feature-Oriented Software Development
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 105
    Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats
    Published 2016
    Subjects: “…Formal security models…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 106
    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. 107
    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. 108
    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
  9. 109
    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
  10. 110
    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
  11. 111
    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
  12. 112
    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
  13. 113
    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
  14. 114
    Proceedings of the 11th Symposium on Dynamic Languages
    Published 2015
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 115
    Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
    Published 2012
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 116
    Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
    Published 1977
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 117
    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
  18. 118
    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
  19. 119
    Proceedings of the 10th Workshop on Workflows in Support of Large-Scale Science
    Published 2015
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 120
    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
Search Tools: RSS Feed – Email Search