×
  • FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

    Martín Abadi (auth.) Dimitra Giannakopoulou Dominique Méry (eds.)

Click on cover to enlarge.
11 - 13Hours to read