Click on a search word OR use the drop-down choices to search for a paper.
1997
Towards a Compositional Interpretation of Object Diagrams Journal Article
In: Algorithimic Languages and Calculi, pp. 187, 1997.
Click on a search word OR use the drop-down choices to search for a paper.
Bicarregui, JC; Lano, KC; Maibaum, TSE
Towards a Compositional Interpretation of Object Diagrams Journal Article
In: Algorithimic Languages and Calculi, pp. 187, 1997.
BibTeX | Tags: action logic, encapsulation, formal methods, object calculus, temporal logic
@article{bicarreguitextordmasculine2016towards,
title = {Towards a Compositional Interpretation of Object Diagrams},
author = {Bicarregui, JC and Lano, KC and Maibaum, TSE},
year = {1997},
date = {1997-12-31},
journal = {Algorithimic Languages and Calculi},
pages = {187},
publisher = {Springer},
keywords = {action logic, encapsulation, formal methods, object calculus, temporal logic},
pubstate = {published},
tppubtype = {article}
}