YAHODA: verification tools database
2002
We present a web server YAHODA, which is designed to provide
unified information about currently available verification
tools. The server software allows the tools developers to
insert and maintain the information about their tools by their
own. In the paper we describe the organization of the database,
its main features, and the maintenance of the repository.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
4
Citations
NaN
KQI