A formal approach to monitoring web pages as spatio-temporal traces.
Primary LanguageKotlinMIT LicenseMIT