EdShare


Advanced search

COMP2214 - Tutorial 5 - Extension Refinement with Guard Modification

LoadingLoading previews...
SecureDB archive
Archive 		Download (23kB)
    SecureDB archive
    SecureDB archive
    AccessControl archive
    AccessControl archive
    grd_ref-ex.pdf
    grd_ref-ex.pdf
    Solution
    Solution
    4 files in this resource

    COMP2214 - Tutorial 5 - Extension Refinement with Guard Modification

    Added By:
    Profile Picture Dr Son Hoang
    Date Added: 03 Mar 2019 22:57
    Creators Name:
    Profile Picture Dr Son Hoang
    Tags: software engineering, formal methods
    Viewing permissions: University
    Course codes: COMP2214
    Link: http://edshare.soton.ac.uk/id/eprint/19840
    Downloads & Views

    Actions (login required)

    View Item View Item

    Toolbox

    There are no actions available for this resource.

    Collection(s)

    Tag Cloud | Latest Additions | Help | Take-down Policy | Terms and Conditions | Guide for adding content to EdShare

    For any questions or feedback, please contact us.
    Copyright © 2008-2017 University of Southampton

    EdShare Southampton is powered by EdShare2 running on EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.
    EdShare.v1 was produced by the EdSpace and OneShare projects and JISC logo