[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - User Queries for Specification Refinement Treating Shared Aspect Join Points
Katz, Emilia, Katz, ShmuelРік:
2010
Мова:
english
DOI:
10.1109/sefm.2010.16
Файл:
PDF, 275 KB
english, 2010