APA Zitierstil

Yin, Y.(2010). Research on Formal Verification Technique for Aircraft Safety-Critical Software. Journal of Computers, 5(8),

MLA Zitierstil

Yin, Yongfeng. "Research On Formal Verification Technique for Aircraft Safety-Critical Software". Journal of Computers, 5.8 ( 2010 )

Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.