Stephen Ricca

According to our database, Stephen Ricca authored at least 1 paper in 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Panel: Complex System Verification: The Challenge Ahead.

Ronald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar

Proceedings of the 31st Conference on Design Automation, 1994