Showing 1 - 1 results of 1 for search 'Bertran, Miquel', 查询时间: 0.01s Refine Results
  1. 1

    FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

    出版 1994
    图书

    FME '94, industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings

检索工具: