Integrating SMT solvers in Rodin

Authors
Publication date
15 November 2014
Publisher
'Elsevier BV'
Doi

    Abstract

    International audienc

      Similar works

      Full text

      thumbnail-image

      Available Versions

      INRIA a CCSD electronic archive server

      redirect
      oaioai:HAL:hal-01094999v1
      Last time updated on 09/11/2016

      Archive Ouverte en Sciences de l'Information et de la Communication

      redirect
      oaioai:HAL:hal-01094999v1
      Last time updated on 29/04/2016