Proof-based verification in Event-B

LoadingLoading previews...
2022_Verification.pptx
Slideshow
Download (343kB)
    2022_Verification.pptx
    2022_Verification.pptx
    1 file in this resource

    Proof-based verification in Event-B

    Actions (login required)

    View Item View Item

    Toolbox

    There are no actions available for this resource.