RSS BotMB to Lobste.rsEnglish · 10 months agoSoundness and Completeness: Defined With Precision [2019]cacm.acm.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10file-text
arrow-up11arrow-down1external-linkSoundness and Completeness: Defined With Precision [2019]cacm.acm.orgRSS BotMB to Lobste.rsEnglish · 10 months agomessage-square0fedilinkfile-text
