Peter Csaba Olveczky profile picture

Peter Csaba Olveczky

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Rewriting Logic And Its Applications 8th International Workshop Wrla 2010 Held As A Satellite Event Of Etaps 2010 Paphos Cyprus March 2021 2010 Revised Selected Papers
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Formal Aspects of Component Software
Formal Aspects of Component Software
Software Engineering and Formal Methods