Gabriele Petronella

Publication Activity (10 Years)

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

Top Topics

Deductive Databases

Declarative Language

Web Development

Integrity Constraints

Top Venues

Publications

Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck
WEBLOG: a declarative language for secure web development. PLAS (2013)