Antonella Santone, Gigliola Vaglini. Modelling and Analysing Social Networks through Formal Methods and Heuristic Searches. In Slimane Hammoudi, Marten van Sinderen, José Cordeiro, editors, ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012. pages 336-339, SciTePress, 2012.
Abstract is missing.