@scadsfct

Treating role assertions as first-class citizens in repair and error-tolerant reasoning

, , and . Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, New York, NY, USA, ACM, (March 2023)

Links and resources

Tags