MURAL - Maynooth University Research Archive Library



    Items where Author is "Saleem, Asif"


    Group by: Item Type | Date | No Grouping
    Jump to: Thesis
    Number of items: 1.

    Thesis

    Saleem, Asif (2013) Specification Reuse using Data Refinement in Dafny. Masters thesis, National University of Ireland Maynooth.

    This list was generated on Mon Dec 23 01:32:52 2024 UTC.