[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 11254 (21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings) || Programming Language Foundations in Agda
Massoni, Tiago, Mousavi, Mohammad RezaVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-030-03044-5_5
File:
PDF, 3.66 MB
english, 2018