Publications

Export 1 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Van Lamsweerde, A.  [Clear All Filters]
2012
D. Alrajeh, J. Kramer, A. Van Lamsweerde, A. Russo, and S. Uchitel, “Generating obstacle conditions for requirements completeness”, in Software Engineering (ICSE), 2012 34th International Conference on, 2012, p. 705-715.