Ingo Schinz

According to our database, Ingo Schinz authored at least 1 paper in 2004.

Collaborative distances:

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

2004

The Rhapsody UML Verification Environment.

Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004