Tatjana Hein

According to our database, Tatjana Hein authored at least 1 paper in 2000.

Collaborative distances:

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

2000

Towards a Machine-Checked Java Specification Book.

Bernhard Reus, Tatjana Hein

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000