Selected Papers of the 23rd International Conference on Foundations ...
Reference
Jean Goubault-Larrecq and Barbara König, editors. Selected Papers of the 23rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2020), Logical Methods in Computer Science, 2022. Special Issue.
Suggested BibTeX entry:
@proceedings{GK22,
editor = {Jean Goubault-Larrecq and Barbara K{\"o}nig},
note = {Special Issue},
series = {Logical Methods in Computer Science},
title = {Selected Papers of the 23rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS~2020)},
year = {2022}
}
