Kari Hakkarainen, Tuomas Ihme, Markku Oivo. A Knowledge-Based Support System for Embedded Computer Software Analysis. In Janis A. Bubenko Jr., Janis Stirna, editors, Proceedings of the First Nordic Conference on Advanced Systems Engineering, CA(i)SE'89, Stockholm, Sweden, May 9-11, 1989 (republished at CEUR-WS.org in 2013). Volume 961 of CEUR Workshop Proceedings, CEUR-WS.org, 1989. [doi]
Abstract is missing.