ISSE

Search

Verifying Concurrent Systems with Symbolic Execution

M. Balser, C. Duelli, W. Reif, and G. Schellhorn

Verifying Concurrent Systems with Symbolic Execution

published 2002 Journal of Logic and Computation 12


Downloads: