Integrated system analysis environment for the continuous consistency and completeness checkingEessaar, ErkiKnowledge-based Software Engineering : proceedings of the Seventh Joint Conference on Knowledge-based Software Engineering : Tallinn, Estonia, August 28-31, 20062006 / p. 96-105 https://www.researchgate.net/publication/221342709_Integrated_System_Analysis_Environment_for_the_Continuous_Consistency_and_Completeness_Checking

Integrated system analysis environment for the continuous consistency and completeness checkingEessaar, ErkiKnowledge-based software engineering : proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering2006 / p. 96-105 : ill