Document: intro
WS Presentations Main Page
Next: Motivation
ESPRIT Basic Research Project 6707 ParForCE
``Parallel Formal Computing Environment''
Technology Transfer Workshop and Final Review
Welcome and Introduction:
Project motivation and Objectives
Manuel Hermenegildo (UPM)
Madrid, January 15-16, 1996
Thu Jan 18 11:20:31 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>