Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
FME 2001: Formal Methods for Increasing Software Productivity | International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany) | This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together… | OL19850614W |