presented at event 21st International Conference on Foundations of Software Science and Computation Structures (FOSSACS) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS) Conference
keywords Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Logic Mathematics Mathematics, Applied Physical Sciences Science & Technology Science & Technology - Other Topics Technology