Showing 61 - 80 results of 2,488 for search '"Formality"', query time: 0.04s Refine Results
  1. 61
    Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2002
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 62
    Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
    Published 2010
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 63
    Proceedings of the 5th International Conference on Predictor Models in Software Engineering
    Published 2009
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 64
    Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
    Published 2012
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 65
    Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 66
    Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 67
    Proceedings of the Third Workshop on Behavioural Modelling
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 68
    Proceedings of the 14th International Conference on Modularity
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 69
    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
  10. 70
    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
  11. 71
    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
  12. 72
    Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    Published 2015
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 73
    Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
    Published 2013
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 74
    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
  15. 75
    Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
    Published 1980
    Subjects: “…Formal language definitions…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 76
    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
  17. 77
    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
  18. 78
    Proceedings of the 16th Workshop on Adaptive and Reflective Middleware
    Published 2017
    Subjects: “…Formalisms…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 79
    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
  20. 80
    Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    Published 2016
    Subjects: “…Formal language definitions…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search