Showing 1 - 20 results of 2,488 for search '"Formality"', query time: 0.08s Refine Results
  1. 1
    Συγκριτική έρευνα των ερμηνευτικών και διδακτικών προσεγγίσεων των σχολικών εγχειριδίων για την έννοια της ενέργειας στα εκπαιδευτικά συστήματα Ελλάδας και Γαλλίας
    Subjects: “…Formality…”
    Get full text
  2. 2
    Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs
    Published 2019
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
    Published 2012
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs
    Published 2015
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Proceedings of the 10th international workshop on Formal methods for industrial critical systems
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 6
    Proceedings of the 8th workshop on Assurances for self-adaptive systems
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 7
    Proceedings of the 17th international doctoral symposium on Components and Architecture
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 8
    Proceedings of the second workshop on Automated formal methods
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 9
    Proceedings of the fourth ACM workshop on Formal methods in security
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 10
    Proceedings of the sixth workshop on Programming languages meets program verification
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 11
    Proceedings of the 13th workshop on Foundations of aspect-oriented languages
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 12
    Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2003
    Subjects: “…Formal language definitions…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 13
    Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
    Published 2013
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 14
    Proceedings of the ninth international conference on Generative programming and component engineering
    Published 2010
    Subjects: “…Formal language definitions…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 15
    Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
    Published 2005
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 16
    Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
    Published 2003
    Subjects: “…Formal language definitions…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 17
    Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
    Published 2017
    Subjects: “…Formal language definitions…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 18
    Proceedings of the 6th ACM workshop on Formal methods in security engineering
    Published 2008
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 19
    Proceedings of the 2007 ACM workshop on Formal methods in security engineering
    Published 2007
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 20
    Proceedings of the 6th International Conference on Communications and Broadband Networking
    Published 2018
    Subjects: “…Formal security models…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search