The early bird catches the worm: First verify, then monitor!

Angelo Ferrando. The early bird catches the worm: First verify, then monitor!. Science of Computer Programming, 172:160-179, 2019. [doi]

Abstract

Abstract is missing.