Volume: Vol-3811 ICTCS 2024 | Year: 2024

Paper: « paper110 | paper250 | paper150 »

Proving the Existence of Stable Assignments in Democratic Forking Using Isabelle/HOL

• Jan-Georg Smaus dblp

225-240 PDF