University of Limerick Institutional Repository

Browsing by Author "Tedeschi, Alessandra"

DSpace Repository

Browsing by Author "Tedeschi, Alessandra"

Sort by: Order: Results:

  • Yu, Yijun; Tun, Thein Than; Tedeschi, Alessandra; Nuseibeh, Bashar (IEEE Computer Society, 2011)
    When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software ...

Search DSpace

Browse

My Account

Statistics