SpringerLink (Online service) & Drechsler, R. (2018). Formal system verification: State-of-the-art and future trends. Springer International Publishing AG. https://doi.org/10.1007/978-3-319-57685-5
Lua i Stíl Chicago (17ú heag.)SpringerLink (Online service) agus Rolf Drechsler. Formal System Verification: State-of-the-art and Future Trends. Cham: Springer International Publishing AG, 2018. https://doi.org/10.1007/978-3-319-57685-5.
Lua MLA (9ú heag.)SpringerLink (Online service) agus Rolf Drechsler. Formal System Verification: State-of-the-art and Future Trends. Springer International Publishing AG, 2018. https://doi.org/10.1007/978-3-319-57685-5.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.