A
Menu
January 17, 2007 conference-paper

Proving that programs eventually do something good

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

DOI: 10.1145/1190216.1190257 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 71

1 result

References 0