Checking Consistency and Completeness of Software Systems

Harry M. Sneed. Checking Consistency and Completeness of Software Systems. In Steffen Becker 0001, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner 0001, editors, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Volume P-292 of LNI, pages 129-132, GI, 2019. [doi]

Abstract

Abstract is missing.