Login / Signup

Model checking recursive programs interacting via the heap.

Irina Mariuca AsavoaeFrank S. de BoerMarcello M. BonsangueDorel LucanuJurriaan Rot
Published in: Sci. Comput. Program. (2015)
Keyphrases