research

Automated Error-Detection and Repair for Compositional Software Specifications

Authors
Publication date
31 December 2014
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Supporting member

      Spiral - Imperial College Digital Repository

      redirect
      oaioai:spiral.imperial.ac.uk:1004...
      Last time updated on 17/02/2017