Давидюк, А. В., & Зубок, В. Ю. (2021). Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems. Інститут проблем реєстрації інформації НАН України. https://doi.org/10.35681/1560-9189.2021.23.4.265714
Chicago-Zitierstil (17. Ausg.)Давидюк, А. В., und В. Ю Зубок. Applying the Predicate Logic for Cyber Security Artifacts Verification in Design of the Critical Purpose Systems. Інститут проблем реєстрації інформації НАН України, 2021. https://doi.org/10.35681/1560-9189.2021.23.4.265714.
MLA-Zitierstil (8. Ausg.)Давидюк, А. В., und В. Ю Зубок. Applying the Predicate Logic for Cyber Security Artifacts Verification in Design of the Critical Purpose Systems. Інститут проблем реєстрації інформації НАН України, 2021. https://doi.org/10.35681/1560-9189.2021.23.4.265714.