MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm.

Published in: Formal Aspects Comput. (2022)

Keyphrases