For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
20
views
0
references
 Top references
cited by
3
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      1,630
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      Finding Loop Invariants for Programs over Arrays Using a Theorem Prover

      proceedings-article
      Author(s): ,
      Publication date (Print):
      Conference name: 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
      Conference date: October 26, 2009 - October 29, 2009

      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
          Publication date: September 2009
          Publication date (Print): September 2009
          Page: 10
          Article
          DOI: 10.1109/SYNASC.2009.66
          SO-VID: dafc5976-75d4-488d-a625-4f1f182e50c7
          Copyright © © 2009
          Conference name: 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
          Conference location: Timisoara, Romania
          Conference date: October 26, 2009 - October 29, 2009
          History

          ScienceOpen disciplines: Molecular medicine,Neurosciences
          Data availability:
          ScienceOpen disciplines: Molecular medicine, Neurosciences

          Comments

          Comment on this article