Parameterisation for abstract structured specifications

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

94 Downloads (Pure)

Original language	English
Pages (from-to)	102-142
Journal	Theoretical Computer Science
Volume	517
DOIs	https://doi.org/10.1016/j.tcs.2013.11.008
Publication status	Published - 2014

Access to Document

@article{e9c85dceb7674c9bb69904d73ddde7ea,

title = "Parameterisation for abstract structured specifications",

author = "Ionut Tutu",

year = "2014",

doi = "10.1016/j.tcs.2013.11.008",

language = "English",

volume = "517",

pages = "102--142",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

}