"VALKYRIE: A Validation Subsystem of a Version Server for Computer-Aided ..."

Rajiv Bhateja, Randy H. Katz (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics