COMP1216 Coursework 2 (AY2022-23)

LoadingLoading previews...
Descriptions
Text Creative Commons: Attribution-Noncommercial-Share Alike 4.0
Download (220kB)
    Descriptions
    Descriptions
    LaTeX template
    LaTeX template
    2 files in this resource

    COMP1216 Coursework 2 (AY2022-23)

    Coursework 2: Event-B modelling of an auction system

    View Item

    Toolbox

    There are no actions available for this resource.