Peter Csaba Ölveczky

Books that list Peter Csaba Ölveczky among their authors but not as the lead author: co-written works, collections and compilations.

Formal Aspects of Component SoftwareChristiano Braga

Formal Aspects of Component Software

Christiano Braga · 2016

Formal Techniques for Safety-Critical SystemsCyrille Artho

Formal Techniques for Safety-Critical Systems

Cyrille Artho · 2015

Theoretical Aspects of Computing - ICTAC 2021Antonio Cerone

Theoretical Aspects of Computing - ICTAC 2021

Antonio Cerone · 2021

Logic, Rewriting, and ConcurrencyNarciso Martí-Oliet

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet · 2015