N. Frances

According to our database, N. Frances authored at least 1 paper in 1981.

Collaborative distances:

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

1981

Distributed Termination with Interval Assertions.

N. Frances, Michael Rodeh, Michel Sintzoff

Proceedings of the Formalization of Programming Concepts, 1981