VWS Talk 7: TBA
V
S
W
Virtual Worldwide Seminar Project
TBA
Sasa Buvac
1
Tuesday, June 22, 1999
Abstract
n/a
Slides
Slides
Attendees
Formal Reasoning Group (Stanford University, USA)
Mechanized Reasoning Group (DISA, Trento, Italy)
1
Sasa Buvac
Gates Building 2A Wing
Department of Computer Science
Stanford University
Stanford, CA 94305
buvac@cs.stanford.edu
Top of this page
Contact:
Virtual Seminar Coordinators
Last modified: Mon Jun 21 16:50:46 PDT 1999