Concepedia

Marco R. Casanova

MR

1

Publications

46

Citations

1

H-Index

1980

Active since

Affiliations

Harvard University(Current)

Marco R. Casanova is an author at Harvard University specializing in formal verification, program analysis, and automated reasoning.

Top concepts

Publications per year

1980–1980

1

Publications

1

A Formal System for Reasoning about Programs Accessing a Relational Database

Marco R. Casanova, P. A. Bernstein · ACM Transactions on Programming Languages and Systems · 1980 · 46 citations · Full text

, , +19

Rows per page

1–1 of 1