Artificial intelligence constraint nets
โ
P. O'Grady; D. Ramers; J. Bowen
๐
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.