Publications
"Specification patterns from research to industry: A case study in service-based applications", Proc. of the 34th International Conference on Software Engineering (ICSE2012), SeIP track, Zurich, Switzerland, pp. 968-976, June, 2012.
(116.02 KB)
,