×
  • FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

    Michael Carl Tschantz Jeannette M. Wing (auth.) Ana Cavalcanti Dennis R. Dams (eds.)

Click on cover to enlarge.
18 - 20Hours to read