Semi-automated Reasoning About Non-determinism in C Expressions.

Dan Frumin, Lon Gondelman, Robbert Krebbers

Browse the full ESOP paper archive.