Automating Context Description for Software Formal Verification

Authors
Publication date
1 January 2010
Publisher
HAL CCSD
Doi

    Abstract

    Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation,2010, Oslo, NorwayInternational audienc

      Similar works

      Full text

      thumbnail-image

      Available Versions

      HAL-Université de Bretagne Occidentale

      redirect
      oaioai:HAL:hal-00569028v1
      Last time updated on 12/11/2016