Applying Lightweight Formal Approach to Automatic Configuration Inspection.

Sachoun Park, Gihwon Kwon

Browse the full SEKE paper archive.