Formal Aspects of Component Software More Books by Kyungmin Bae & Peter Csaba Ölveczky

Rewriting Logic and Its Applications

2022