|
СБ |
Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019 |
2020 |
|
Lecture Notes in Computer Science |
- Sekerinski E.
- Moreira N.
- Oliveira J. N.
|
|
21016 |
17.09.2020 |
|
СБ |
Formal Methods: FM 2019 International Workshops, Part II: Revised Selected Papers/Porto, Portugal, October 2019 |
2020 |
|
Lecture Notes in Computer Science |
- Sekerinski E.
- Moreira N.
- Oliveira J. N.
|
|
21010 |
10.09.2020 |
|
СБ |
Formal Methods - The Next 30 Years: Proc./3rd World Congress, FM 2019, Porto, Portugal, October 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Ter Beek M. H.
- McIver A.
- Oliveira J. N.
|
|
|
17.10.2019 |
|
СБ |
Relational and Algebraic Methods in Computer Science: Proc./15th International Conference, RAMiCS 2015, Braga, Portugal, September 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Kahl W.
- Winter M.
- Oliveira J. N.
|
|
|
12.01.2016 |
|
СБ |
Teaching Formal Methods: Proc./Second International Conference, TFM 2009. Eindhoven, The Netherlands, November 2009 |
2009 |
|
Lecture Notes in Computer Science |
- Gibbons J.
- Oliveira J. N.
|
|
|
21.11.2009 |
|
СБ |
FME 2001: Formal Methods for Increasing Software Productivity: Proc./Intern. Symp. of Formal Methods Europe, Berlin, Germany, March 2001 |
2001 |
|
Lecture Notes in Computer Science |
- Oliveira J. N.
- Zave P.
|
|
|
05.04.2001 |
|
СБ |
Mathematics of Program Construction: Proc./ 5th International Conference, MPC 2000. Ponte de Lima, Portugal, July 2000 |
2000 |
|
Lecture Notes in Computer Science |
- Backhouse R.
- Oliveira J. N.
|
|
|
19.08.2000 |
|
СБ |
Advanced Functional Programming: Revised Lectures/ Third International School, AFP 98, Braga, Portugal, September 1998 |
1999 |
|
Lecture Notes in Computer Science |
- Swierstra S. D.
- Henriques P. R.
- Oliveira J. N.
|
|
|
19.08.1999 |
