skip to main content
tutorial

Satisfiability modulo theories for high integrity development

Published:10 November 2013Publication History

Abstract

No abstract available.

Index Terms

  1. Satisfiability modulo theories for high integrity development

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume 33, Issue 3
        HILT '13
        December 2013
        80 pages
        ISSN:1094-3641
        DOI:10.1145/2658982
        Issue’s Table of Contents
        • cover image ACM Conferences
          HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
          November 2013
          100 pages
          ISBN:9781450324670
          DOI:10.1145/2527269

        Copyright © 2013 Owner/Author

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 10 November 2013

        Check for updates

        Author Tags

        Qualifiers

        • tutorial

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!