Specification of temporal properties of functions for runtime verification.

Joshua Heneage Dawes, Giles Reger

Browse the full SAC paper archive.