System refinement in practice - using a formal method to modify real-life knowledge

Authors
Publication date
1 October 2005
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Digitale Bibliothek Thüringen

    redirect
    oaioai:www.db-thueringen.de:dbt_m...
    Last time updated on 14/08/2019