Jose N. Oliveira
Identifiers
- Open LibraryOL10237097A
Books by Jose N. Oliveira
Total count: 2
-
FME 2001 : Formal Methods for Increasing Software ProductivityInternational Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ProceedingsSpringer London, Limited2003-01-01
-
Advanced Functional ProgrammingThird International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised LecturesSpringer London, Limited2006-01-01