International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany)

International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany)

1 ספרים במאגר

ספרים

FME 2001: Formal Methods for Increasing Software ProductivityInternational Symposium of Formal Methods Europe (10th 2001 Berlin, Germany)

FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany) · 2001