Tom Maibaum
AuthID: R-006-F76
1
TÃTULO: Categorical semantics of parallel program design Full Text
AUTORES: Fiadeiro, JL; Maibaum, T;
PUBLICAÇÃO: 1997, FONTE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, NÚMERO: 2-3
AUTORES: Fiadeiro, JL; Maibaum, T;
PUBLICAÇÃO: 1997, FONTE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, NÚMERO: 2-3
2
TÃTULO: Interconnecting formalisms: Supporting modularity, reuse and incrementality
AUTORES: Jose Luiz Fiadeiro; Tom Maibaum;
PUBLICAÇÃO: 1995, FONTE: Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
AUTORES: Jose Luiz Fiadeiro; Tom Maibaum;
PUBLICAÇÃO: 1995, FONTE: Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
INDEXADO EM: 
Scopus
Scopus