Knowledge-Guided Methodology for Specification Analysis.

Bhanu Pratap Singh, Arunprasath Shankar, Yuriy Shiyanovskii, Francis G. Wolff, Christos A. Papachristou, Daniel J. Weyer, Steve Clay, Jim Morrison

Browse the full ICTAI paper archive.