Correctness proofs by formalized refinement steps

Authors
Publication date
Publisher
Dept. of Math., Agric. Univ., Wageningen

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Wageningen Yield

    redirect
    oaioai:library.wur.nl:wurpubs/732...
    Last time updated on 30/06/2015

    NARCIS

    redirect
    Last time updated on 14/10/2017