APA (7e ed.) Bronvermelding

Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.

Chicago (17e ed.) Bronvermelding

Shaked, A., en T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.

MLA (9e ed.) Bronvermelding

Shaked, A., en T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.

Let op: Deze citaties zijn niet altijd 100% accuraat.