@inproceedings{e36acc54ff89452cb3e98a698d9098ba,
title = "Formal methods in the era of service-oriented design",
author = "Tiziana Margaria",
year = "2011",
doi = "10.1109/COMPSAC.2011.111",
language = "English",
isbn = "9780769544397",
series = "Proceedings - International Computer Software and Applications Conference",
pages = "452--453",
booktitle = "Proceedings - 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011",
note = "35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011 ; Conference date: 18-07-2011 Through 21-07-2011",
}