Publications

Filters: Author is Pankaj Jalote  [Clear All Filters]
2014
R. Degiovanni, D. Alrajeh, N. Aguirre, and S. Uchitel, “Automated goal operationalisation based on interpolation and {SAT} solving”, in 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.