Showing 1 - 1 results of 1 for search '', query time: 0.07s Refine Results
  1. 1

    FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

    Berlin ; New York : Springer, 2005
    Format: Electronic Conference Proceeding eBook