Давидюк, А. В., & Зубок, В. Ю. (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 Style (17th ed.) CitationДавидюк, А. В., and В. Ю Зубок. 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 (8th ed.) CitationДавидюк, А. В., and В. Ю Зубок. 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.