Formal Techniques for Safety-Critical Systems

MLA

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

APA

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

Chicago

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