Unifying Theories of Logic and Specification

Victor Bandur; Jim Woodcock

doi:10.1007/978-3-642-41071-0_3

Unifying Theories of Logic and Specification

Computer Science

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

Original language	Undefined/Unknown
Title of host publication	Formal Methods
Subtitle of host publication	Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
Editors	Juliano Iyoda, Leonardo Mendonça de Moura
Publisher	Springer
Pages	18-33
Number of pages	16
Volume	8195
ISBN (Print)	978-3-642-41070-3
DOIs	https://doi.org/10.1007/978-3-642-41071-0_3
Publication status	Published - 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Bibliographical note

Self-archiving of Final published version not supported by the publisher.

Access to Document

10.1007/978-3-642-41071-0_3

http://dx.doi.org/10.1007/978-3-642-41071-0_3

Cite this

Bandur, V., & Woodcock, J. (2013). Unifying Theories of Logic and Specification. In J. Iyoda, & L. M. D. Moura (Eds.), Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings (Vol. 8195, pp. 18-33). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-642-41071-0_3

@inproceedings{fd8322d75d4a49e997a407c0bebb51a0,

title = "Unifying Theories of Logic and Specification",

author = "Victor Bandur and Jim Woodcock",

note = "Self-archiving of Final published version not supported by the publisher.",

year = "2013",

doi = "10.1007/978-3-642-41071-0_3",

language = "Undefined/Unknown",

isbn = "978-3-642-41070-3 ",

volume = "8195",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "18--33",

editor = "Juliano Iyoda and Moura, {Leonardo Mendon{\c c}a de}",

booktitle = "Formal Methods",

address = "Germany",

}

Unifying Theories of Logic and Specification. / Bandur, Victor ; Woodcock, Jim.
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. ed. / Juliano Iyoda; Leonardo Mendonça de Moura. Vol. 8195 Springer, 2013. p. 18-33 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Unifying Theories of Logic and Specification

AU - Bandur, Victor

AU - Woodcock, Jim

N1 - Self-archiving of Final published version not supported by the publisher.

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-41071-0_3

DO - 10.1007/978-3-642-41071-0_3

M3 - Conference contribution

SN - 978-3-642-41070-3

VL - 8195

T3 - Lecture Notes in Computer Science

SP - 18

EP - 33

BT - Formal Methods

A2 - Iyoda, Juliano

A2 - Moura, Leonardo Mendonça de

PB - Springer

ER -