A modular theory of object orientation in higher-order UTP

F. Zeyda, T. L. V. L. Santos, A. L. C. Cavalcanti, A. C. A. Sampaio

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	Undefined/Unknown
Title of host publication	FM 2014: Formal Methods
Subtitle of host publication	19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Publisher	Springer
Pages	627-642
Number of pages	16
ISBN (Electronic)	978-3-319-06410-9
ISBN (Print)	978-3-319-06409-3
DOIs	https://doi.org/10.1007/978-3-319-06410-9_42
Publication status	Published - 2014

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	8442
ISSN (Print)	0302-9743

Access to Document

@inproceedings{ba6f8f5ebe5645e696323149e93b05a2,

title = "A modular theory of object orientation in higher-order UTP",

author = "F. Zeyda and Santos, {T. L. V. L.} and Cavalcanti, {A. L. C.} and Sampaio, {A. C. A.}",

year = "2014",

doi = "10.1007/978-3-319-06410-9_42",

language = "Undefined/Unknown",

isbn = "978-3-319-06409-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "627--642",

booktitle = "FM 2014: Formal Methods",

address = "Germany",

}

A modular theory of object orientation in higher-order UTP. / Zeyda, F.; Santos, T. L. V. L.; Cavalcanti, A. L. C. et al.
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Springer, 2014. p. 627-642 (Lecture Notes in Computer Science; Vol. 8442).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A modular theory of object orientation in higher-order UTP

AU - Zeyda, F.

AU - Santos, T. L. V. L.

AU - Cavalcanti, A. L. C.

AU - Sampaio, A. C. A.

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-06410-9_42

DO - 10.1007/978-3-319-06410-9_42

M3 - Conference contribution

SN - 978-3-319-06409-3

T3 - Lecture Notes in Computer Science

SP - 627

EP - 642

BT - FM 2014: Formal Methods

PB - Springer

ER -