A note concerning intermittent assertions

• 1 July 1977
• journal article
• Published by Association for Computing Machinery (ACM) in ACM SIGACT News
• Vol. 9  (2) , 30-35
• https://doi.org/10.1145/1008354.1008357

Abstract