DMCA

Modular Abstractions of Reactive Nodes using Disjunctive Invariants ∗ (2011)

by David Monniaux , Martin Bodin
Citations:3 - 1 self