@inproceedings{eabf0e76ad0d4de0aa129099758257b0,
title = "The change of change",
author = "Tiziana Margaria",
year = "2014",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "541--543",
editor = "Tiziana Margaria and Bernhard Steffen and Tiziana Margaria",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings",
note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",
}