Stefan Friedrich

发表

Stefan Friedrich, Stefan Friedrich, S. Friedrich, 2019, Arch. Formal Proofs.