Carsten Siihl

According to our database, Carsten Siihl authored at least 1 paper in 1997.

Collaborative distances:

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

1997

Methodological Support for Formally Specifying Safety-Critical Software.

Maritta Heisel, Carsten Siihl

Proceedings of the 16th International Conference on Computer Safety, 1997