Peter Csaba Ölveczky · 6 obras en el catálogoObrasFormal Aspects of Component SoftwareFormal Techniques for Safety-Critical SystemsDesigning Reliable Distributed SystemsTTheoretical Aspects of Computing - ICTAC 2021Theoretical Aspects of Computing - ICTAC 2021RRewriting Logic and Its ApplicationsRewriting Logic and Its ApplicationsLLogic, Rewriting, and ConcurrencyLogic, Rewriting, and Concurrency
