=Paper=
{{Paper
|id=Vol-4164/paper19
|storemode=property
|title=Formal Verification of Aerospace Cyber-Physical System Software
|pdfUrl=https://ceur-ws.org/Vol-4164/paper19.pdf
|volume=Vol-4164
|authors=Yuriy Manzhos,Yevheniia Sokolova
}}
==Formal Verification of Aerospace Cyber-Physical System Software==
<pdf width="1500px">https://ceur-ws.org/Vol-4164/paper19.pdf</pdf>
<pre>
None
</pre>