A Navigation Logic for Recursive Programs with Dynamic Thread Creation.

Roman Lakenbrink, Markus Mller-Olm, Christoph Ohrem, Jens Oliver Gutsfeld

Browse the full VMCAI paper archive.