Εμφανίζονται 1 - 20 Αποτελέσματα από 278 για την αναζήτηση '"Verification"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
    Έκδοση 2018
    Θέματα: “…Logic and verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Έκδοση 2015
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
    Έκδοση 2018
    Θέματα: “…Logic and verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2009
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2007
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering
    Έκδοση 2016
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 7
    Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2005
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
    Έκδοση 2020
    Θέματα: “…Logic and verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    Έκδοση 2007
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
    Έκδοση 2017
    Θέματα: “…Logic and verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 11
    Proceedings of the 10th international workshop on Foundations of aspect-oriented languages
    Έκδοση 2011
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 12
    Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2010
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 13
    Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design
    Έκδοση 2004
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Proceedings of the second workshop on Automated formal methods
    Έκδοση 2007
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 15
    Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
    Έκδοση 2016
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 16
    Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design
    Έκδοση 2017
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 17
    Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
    Έκδοση 2002
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 18
    Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 1999
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 19
    Proceedings of the 6th ACM SIGPLAN Symposium on Scala
    Έκδοση 2015
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 20
    Proceedings of the 1st international workshop on Random testing
    Έκδοση 2006
    Θέματα: “…Formal software verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email