Martin Beinhart

According to our database, Martin Beinhart authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application".

Rey Abe, Martin Beinhart, Stefan Biffl, Eva Kühn, Markus Ly, Bettina Thurnher

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004