José Nuno Fonseca Oliveira
AuthID: R-000-8SF
11
TITLE: "Bagatelle in C arranged for VDM SoLo"
AUTHORS: José N F Oliveira;
PUBLISHED: 2001
AUTHORS: José N F Oliveira;
PUBLISHED: 2001
INDEXED IN: 
Handle
Handle12
TITLE: Preface
AUTHORS: Backhouse, R; Oliveira, JN;
PUBLISHED: 2000, SOURCE: 5th International Conference on Mathematics of Program Construction, MPC 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1837
AUTHORS: Backhouse, R; Oliveira, JN;
PUBLISHED: 2000, SOURCE: 5th International Conference on Mathematics of Program Construction, MPC 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1837
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID13
TITLE: "Explosive" programming controlled by calculation
AUTHORS: José N F Oliveira;
PUBLISHED: 1998
AUTHORS: José N F Oliveira;
PUBLISHED: 1998
INDEXED IN: Handle
Handle14
TITLE: CAMILA: formal software engineering supported by functional programming
AUTHORS: José J Almeida; Barbosa, L. S.; Neves, F. L.; José N F Oliveira;
PUBLISHED: 1997
AUTHORS: José J Almeida; Barbosa, L. S.; Neves, F. L.; José N F Oliveira;
PUBLISHED: 1997
INDEXED IN: Handle
Handle15
TITLE: Software reification using the SETS calculus
AUTHORS: José N F Oliveira;
PUBLISHED: 1992
AUTHORS: José N F Oliveira;
PUBLISHED: 1992
INDEXED IN: Handle
Handle IN MY: ORCID
ORCID