Jose N. Oliveira · Jose Nuno Oliveira Jeremy Gibbons · José Oliveira · Nuno Oliveira
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ... Notes in Computer Science , Band 2021) | 978-3-540-41791-0 (3-540-41791-5) | 2001 | |
| Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings | 978-3-540-67727-7 (3-540-67727-5) | 2000 | Roland Backhouse |
| Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings | 978-3-642-04911-8 (3-642-04911-7) | 2009 | Jeremy Gibbons |