ID:DA12510627
Oliveira, José Nuno
Nuno Oliveira, José
Search authors sharing the same name
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.)
Springer c2019 Lecture notes in computer science 11800 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering
Available at 1 libraries
Jeremy Gibbons, José Nuno Oliveira (eds.)
Springer c2009 Lecture notes in computer science 5846
José Nuno Oliveira, Pamela Zave (eds.)
Springer c2001 Lecture notes in computer science 2021
Available at 32 libraries
Roland Backhouse, José Nuno Oliveira (eds.)
Springer c2000 Lecture notes in computer science 1837
Available at 37 libraries
S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.)
Springer c1999 Lecture notes in computer science 1608
Available at 39 libraries