TítuloCo-Chairmen's introduction
Publication TypeConference Paper
Year of Publication1991
AuthorsJenkins P., Plaza E
Conference NameProceedings of EUROVAV-91: European Workshop on the Verification of Knowledge Based Systems
EditorialLogica Cambridge
Paginaciónvi-x