P
Peter Csaba Ölveczky
6 works on record
Works
Formal Aspects of Component Software
Designing Reliable Distributed Systems
Formal Techniques for Safety-Critical Systems
Theoretical Aspects of Computing - ICTAC 2021
Theoretical Aspects of Computing - ICTAC 2021
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency