Search

Record Citations

APA Citation

Buzhinskii, I. (2019). Combined use of formal methods for reliability assurance of software for safety-critical systems. Aalto University.

Chicago Style Citation

Buzhinskii, Igor. Combined Use of Formal Methods for Reliability Assurance of Software for Safety-critical Systems. Helsinki: Aalto University, 2019.

MLA Citation

Buzhinskii, Igor. Combined Use of Formal Methods for Reliability Assurance of Software for Safety-critical Systems. Aalto University, 2019.

Harvard Style Citation

Buzhinskii, I. 2019. Combined use of formal methods for reliability assurance of software for safety-critical systems. Helsinki: Aalto University.

Remember to check citations for accuracy before including them in your work.