ASM refinement preserving invariants

Authors
Publication date
9 December 2021
Publisher
'Verlag der Technischen Universitat Graz'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      OPUS Augsburg

      redirect
      oaioai:uni-augsburg.opus-bayern.d...
      Last time updated on 22/12/2021