A
Menu
January 01, 2020 article Open access Aachen paper

Implementation of a predicate-guided termination snalysis for pointer programs

RWTH Publications (RWTH Aachen)

DOI: 10.18154/rwth-2020-10469 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 3

3 results