25
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Mathematics for reasoning about loop functions

      , ,
      Science of Computer Programming
      Elsevier BV

      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

          Journal
          Science of Computer Programming
          Science of Computer Programming
          Elsevier BV
          01676423
          November 2009
          November 2009
          : 74
          : 11-12
          : 989-1020
          Article
          10.1016/j.scico.2009.09.009
          79ee6c56-4d77-4d61-b523-3c53d1a9ee63
          © 2009

          https://www.elsevier.com/tdm/userlicense/1.0/

          https://www.elsevier.com/open-access/userlicense/1.0/

          History

          Comments

          Comment on this article