Deniz, E. Et Al. 2019. Using HOL4 for the Reliability Verification of Parity Checking Circuit. 2nd Intertanional Conference on Mathematical advances and Applications (ICOMAA2019) .

Deniz, E., Aksoy, K., Tahar, S., & ZEREN, Y., (2019). Using HOL4 for the Reliability Verification of Parity Checking Circuit . 2nd Intertanional Conference on Mathematical advances and Applications (ICOMAA2019)

Deniz, Elif Et Al. "Using HOL4 for the Reliability Verification of Parity Checking Circuit," 2nd Intertanional Conference on Mathematical advances and Applications (ICOMAA2019), 2019

Deniz, Elif Et Al. "Using HOL4 for the Reliability Verification of Parity Checking Circuit." 2nd Intertanional Conference on Mathematical advances and Applications (ICOMAA2019) , 2019

Deniz, E. Et Al. (2019) . "Using HOL4 for the Reliability Verification of Parity Checking Circuit." 2nd Intertanional Conference on Mathematical advances and Applications (ICOMAA2019) .

@conferencepaper{conferencepaper, author={Elif Deniz Et Al. }, title={Using HOL4 for the Reliability Verification of Parity Checking Circuit}, congress name={2nd Intertanional Conference on Mathematical advances and Applications (ICOMAA2019)}, city={}, country={}, year={2019}}