Sachoun Park, Gihwon Kwon. Applying Lightweight Formal Approach to Automatic Configuration Inspection. In Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011. pages 107-110, Knowledge Systems Institute Graduate School, 2011.
Abstract is missing.