Abstracting C with abC.

Dennis Dams, William Hesse, Gerard J. Holzmann

Browse the full CAV paper archive.