×
  • FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

    Shmuel Katz (auth.) Jorge Cuellar Tom Maibaum Kaisa Sere (eds.)

10 - 12Hours to read