Mutation in linked data structures

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

Original language	English
Title of host publication	Proceedings of the 13th International Conference on Formal Engineering Methods, (ICFEM) 2011
Place of Publication	Heidelberg
Publisher	Springer
Pages	275-290
ISBN (Print)	978-3-642-24558-9
DOIs	https://doi.org/10.1007/978-3-642-24559-6_20
Publication status	Published - Oct 2011

Access to Document

@inproceedings{9645742691424ab7aed7ec92c747b043,

title = "Mutation in linked data structures",

author = "Ewen Maclean and Andrew Ireland",

year = "2011",

month = oct,

doi = "10.1007/978-3-642-24559-6_20",

language = "English",

isbn = "978-3-642-24558-9",

pages = "275--290",

booktitle = "Proceedings of the 13th International Conference on Formal Engineering Methods, (ICFEM) 2011",

publisher = "Springer",

address = "United States",

}

TY - GEN

T1 - Mutation in linked data structures

AU - Maclean, Ewen

AU - Ireland, Andrew

PY - 2011/10

Y1 - 2011/10

U2 - 10.1007/978-3-642-24559-6_20

DO - 10.1007/978-3-642-24559-6_20

M3 - Conference contribution

AN - SCOPUS:80455162689

SN - 978-3-642-24558-9

SP - 275

EP - 290

BT - Proceedings of the 13th International Conference on Formal Engineering Methods, (ICFEM) 2011

PB - Springer

CY - Heidelberg

ER -