8
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      The interactive verification debugger: effective understanding of interactive proof attempts

      proceedings-article
      1 , 1 , 1
      ACM
      ASE'16: ACM/IEEE International Conference on Automated Software Engineering (ASE'16)
      03 09 2016 07 09 2016

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Conference
          ACM
          August 25 2016
          August 25 2016
          August 25 2016
          August 25 2016
          : 846-851
          Affiliations
          [1 ]TU Darmstadt, Germany
          Article
          10.1145/2970276.2970292
          b40657fa-76b1-4190-847d-cbfdfc61f24a
          © 2016

          http://www.acm.org/publications/policies/copyright_policy#Background

          ASE'16: ACM/IEEE International Conference on Automated Software Engineering
          ASE'16
          Singapore Singapore
          03 09 2016 07 09 2016
          SIGAI ACM Special Interest Group on Artificial Intelligence
          SIGSOFT ACM Special Interest Group on Software Engineering
          IEEE-CS Computer Society
          History

          Quantitative & Systems biology,Biophysics
          Quantitative & Systems biology, Biophysics

          Comments

          Comment on this article