Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau 0001, Mohammad Reza Mousavi 0001, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder. On Specifying for Trustworthiness. Communications of the ACM, 67(1):98-109, January 2024. [doi]
Abstract is missing.