Arnd Poetzsch-Heffter

Showing the single result

[PDF] Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE … Programming and Software Engineering) David Lee, Antonia Lopes, Arnd Poetzsch-Heffter