A
Menu
January 07, 2008 conference-paper Open access

Proving non-termination

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/1328438.1328459 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 3 stored of 158

3 results

References 0