Showing 161 - 180 results of 2,488 for search '"Formality"', query time: 0.14s Refine Results
  1. 161
    Proceedings of the 2010 ICSE Workshop on Emerging Trends in Software Metrics
    Published 2010
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 162
    Proceedings of the 2011 International Symposium on Software Testing and Analysis
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 163
    Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
    Published 2004
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 164
    Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
    Published 2003
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 165
    Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
    Published 2000
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 166
    Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 167
    Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 168
    Proceedings of the 6th Workshop on Socio-Technical Aspects in Security and Trust
    Published 2016
    Subjects: “…Formal security models…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 169
    Proceedings of the 5th international conference on Generative programming and component engineering
    Published 2006
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 170
    Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
    Published 2014
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 171
    Proceedings of the 5th India Software Engineering Conference
    Published 2012
    Subjects: “…Formal methods…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 172
    Proceedings of the Eleventh International Workshop on Multimedia Data Mining
    Published 2011
    Subjects: “…Formal languages and automata theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  13. 173
    Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    Published 2017
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  14. 174
    Proceedings of the 6th International Workshop on Automation of Software Test
    Published 2011
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 175
    Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
    Published 2012
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 176
    Proceedings of the 2nd ACM workshop on Assurable and usable security configuration
    Published 2009
    Subjects: “…Formal software verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 177
    Notes on Set Theory
    by Moschovakis, Yiannis
    Published 2006
    Subjects: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 178
    Methods of Cut-Elimination
    by Leitsch, Alexander, Baaz, Matthias
    Published 2011
    Subjects: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 179
    Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
    by Cellucci, Carlo
    Published 2013
    Subjects: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 180
    Formal Languages and Compilation
    Subjects: “…Mathematical Logic and Formal Languages.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search