Showing 141 - 160 results of 2,488 for search '"Formality"', query time: 0.33s Refine Results
  1. 141
    Proceedings of the 19th Workshop on Adaptive and Reflexive Middleware
    Published 2018
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 142
    Proceedings of the Second International Workshop on Automation of Software Test
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 143
    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
  4. 144
    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
  5. 145
    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
  6. 146
    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
  7. 147
    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
  8. 148
    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
  9. 149
    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
  10. 150
    Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
    Published 2011
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 151
    Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    Published 2015
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 152
    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. 153
    Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
    Published 2005
    Subjects: “…Formal language definitions…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 154
    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
  15. 155
    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
  16. 156
    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
  17. 157
    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
  18. 158
    Proceedings of the 2nd International Workshop on Multimedia Forensics and Security
    Published 2017
    Subjects: “…Formal methods and theory of security…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 159
    Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
    Published 2009
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 160
    Proceedings of the 6th India Software Engineering Conference
    Published 2013
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search