A task-oriented approach to knowledge-ba
✍
D.R. Myers; J.F. Davis; D.J. Herman
📂
Article
📅
1989
🏛
Elsevier Science
🌐
English
⚖ 91 KB
The tools are briefly described and are compared as to their usefulness for aiding the automation of code-conformance checking.