Annette Hoffmann

According to our database, Annette Hoffmann authored at least 1 paper in 1988.

Collaborative distances:

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

1988

Verification in OBSCURE.

Jacques Loeckx, Annette Hoffmann

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988