“ConDRust:可验证Rust程序的可扩展确定性并发…”
费利克斯·苏切特 , 丽莎·泽德勒 , 杰罗尼莫·卡斯特里隆 , 塞巴斯蒂安·埃特尔 :
ConDRust:来自可验证Rust程序的可扩展确定性并发(工件)。 Dagstuhl Artifacts爵士。 9 ( 2 ) : 16:1-16:3 ( 2023 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。