Foundations for structuring behavioural specifications

Răzvan Diaconescu, Ionut Tutu

Research output: Contribution to journal › Article › peer-review

35 Downloads (Pure)

Original language	English
Article number	3-4
Pages (from-to)	319-338
Journal	Journal of Logic and Algebraic Programming
Volume	83
DOIs	https://doi.org/10.1016/j.jlamp.2014.03.001
Publication status	Published - 2014

Access to Document

@article{5abe3afce7f646e9bdc92a294c0cd081,

title = "Foundations for structuring behavioural specifications",

author = "R{\u a}zvan Diaconescu and Ionut Tutu",

year = "2014",

doi = "10.1016/j.jlamp.2014.03.001",

language = "English",

volume = "83",

pages = "319--338",

journal = "Journal of Logic and Algebraic Programming",

issn = "1567-8326",

publisher = "Elsevier Inc.",

}