Showing 1 - 5 results of 5 for search '', query time: 0.02s Refine Results
  1. 1
    Proceedings of ACM conference on Proving assertions about programs
    Published 1972
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Proceedings of the 2015 Conference on Certified Programs and Proofs
    Published 2015
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs
    Published 2019
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Proceedings of the First International Workshop on Software Correctness for HPC Applications
    Published 2017
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Proceedings of the international conference on Reliable software
    Published 1975
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search