Andy Neilson

According to our database, Andy Neilson authored at least 1 paper in 1988.

Collaborative distances:

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

1988

m-EVES: A Tool for Verifying Software.

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink

Proceedings of the Proceedings, 1988