Dan DaCosta

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 0

Top Topics

Desirable Properties

Top Venues

Publications

Dan DaCosta
Towards Reasoning About Properties of Imperative Programs using Linear Logic. CoRR (2015)
Dan DaCosta, Christopher Dahn, Spiros Mancoridis, Vassilis Prevelakis
Demonstration of COSAK static analysis tools. DISCEX (2) (2003)
Dan DaCosta, Christopher Dahn, Spiros Mancoridis, Vassilis Prevelakis
Characterizing the 'Security Vulnerability Likelihood' of Software Functions. ICSM (2003)