Formal Techniques for Safety-Critical Systems

MLA

Artho, and Peter Csaba Ölveczky. Formal Techniques for Safety-critical Systems. Springer International Publishing, 2019.

APA

Artho, A., & Ölveczky, P. Csaba. (2019). Formal Techniques for Safety-Critical Systems. Springer International Publishing.

Chicago

Artho, and Peter Csaba Ölveczky. Formal Techniques for Safety-Critical Systems. : Springer International Publishing, 2019.