Showing 1 - 1 results of 1 for search 'N.Moffat', query time: 0.02s Refine Results
  1. 1
    Watchdog transformations for property−oriented model checking

    Watchdog transformations for property−oriented model checking by Roscoe, A, Goldsmith, M, N.Moffat, Whitworth, T, Zakiuddin, I

    Published 2003
    Conference item

Search Tools: