Oliveira, José N.
Oliveira, José Nuno
Oliveira, José Nuno, 1955-....
VIAF ID: 47014379 ( Personal )
Permalink: http://viaf.org/viaf/47014379
Preferred Forms
- 200 _ | ‡a Oliveira ‡b José Nuno
- 100 1 _ ‡a Oliveira, José N.
-
-
-
- 100 1 _ ‡a Oliveira, José Nuno ‡d 1955-
- 100 1 _ ‡a Oliveira, José Nuno, ‡d 1955-....
-
-
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Advanced functional programming : Third International School, AFP'98, Braga, Portugal, September 12-19, 1998 : revised lectures | |
FME 2001 | |
FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12–16, 2001 : proceedings | |
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II | |
Mathematics of program construction, 2000: | |
Teaching formal methods : second international conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings |