University of California, Irvine

P 240 — Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations

1 documents • ranked by quality and engagement.

No description provided