×
  • FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings

    Kouichi Kishida (auth.) Keijiro Araki Stefania Gnesi Dino Mandrioli (eds.)

Click on cover to enlarge.
21 - 23Hours to read