Volodymyr Ovsiak. Problem of determination trustworthy software - hardware computings. In Roman P. Bazylevych, Anatoliy O. Melnyk, editors, Proceedings of the Symposium on Contemporary Computing in Ukraine, CCU 2000, Lviv, Ukraine, February 21-25, 2000. pages 115-118, ACM, 2000. [doi]
Abstract is missing.