Serge N. Aloneftis

According to our database, Serge N. Aloneftis authored at least 1 paper in 1992.

Collaborative distances:

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

1992

FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment.

Victoria Stavridou, Joseph A. Goguen, Andrew Stevens, Steven M. Eker, Serge N. Aloneftis, Keith Michael Hobley

Proceedings of the Theorem Provers in Circuit Design, 1992