in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969
Volume: 182
Conference
40Th Iarcs Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Fsttcs 2020, Date: 14 December 2020 through 18 December 2020