OLIVEIRA, José Nuno (Hrsg.). [book]. 2001. Berlin: Springer. Lecture notes in computer science, 2021. ISBN 3540417915.
Elsevier - Harvard (with titles)Oliveira, J.N. (Hrsg.), 2001. Formal methods for increasing software productivity : proceedings. Lecture notes in computer science, Lecture notes in computer science.
American Psychological Association 7th editionOliveira, J. N. (Hrsg.). (ca. 2001). Formal methods for increasing software productivity : proceedings [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Oliveira JN (Hrsg.) (2001) Formal methods for increasing software productivity : proceedings. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Oliveira, José Nuno (Hrsg.), Formal methods for increasing software productivity : proceedings, Lecture notes in computer science 2001, .