Davide Sergio

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio
Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic EXPRESS (2009)