Stephen Mitchell

According to our database, Stephen Mitchell authored at least 3 papers between 1981 and 1999.

Collaborative distances:

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

1999

A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.

Kristina Lundqvist, Lars Asplund, Stephen Mitchell

Proceedings of the Reliable Software Technologies, 1999

1983

Retraining of college faculty for computer science (Panel Session).

Carter Bays, Stephen Mitchell, Stanley P. Franklin, Ed Dubinsky, Richard H. Austing, William Mitchell

Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983

1981

All publishers are alike, aren't they? (Panel Discussion).

Charles Stewart, Jon Thompson, Charles Murphy, Barbara Friedman, Stephen Mitchell

Proceedings of the 12th SIGCSE Technical Symposium on Computer Science Education, 1981