Showing 1 - 1 results of 1 for search 'Fisher, Michael 1962-', Forespørselstid: 0.01s Refine Results
  1. 1

    An introduction to practical formal methods using temporal logic af Fisher, Michael 1962-

    Udgivet 2011
    Bog

    An introduction to practical formal methods using temporal logic

Søgeredskaber: