Marcelino, S. ; Caleiro, C. ; Filipe, P.
Book: Logical Foundations of Computer Science. LFCS 2022. (LNTCS,volume 13137) ISBN: 978-3-030-93099-8
Download Full text PDF ( 332 KBs)
