Nadew Kibret, William W. Edmonson, Solomon Gebreyohannes. Category Theoretic Based Formalization of the Verifiable Design Process. In 2019 IEEE International Systems Conference, SysCon 2019, Orlando, FL, USA, April 8-11, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.