![](/img/cover-not-exists.png)
[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Automated goal operationalisation based on interpolation and SAT solving
Degiovanni, Renzo, Alrajeh, Dalal, Aguirre, Nazareno, Uchitel, SebastianYear:
2014
Language:
english
DOI:
10.1145/2568225.2568323
File:
PDF, 400 KB
english, 2014