Andre V. Marianiello

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Formal Verification

Database Systems

Computational Linguistics

Object Oriented Languages

Top Venues

Publications

Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers
CIVL: the concurrency intermediate verification language. SC (2015)