Discover open access scientific publications

Search, annotate, share and cite publications

Publications by C. Barry Jay

Compositional Characterization of Observable Program Properties

DAIMI Report Series

English