Martin Pnika

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

Collaborative distances:

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

2004

"UML-ising' Formal Techniques.

Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004