Lohmann, N.

[NT 60487] Overview

[NT 60478] Works:	1 [NT 60520] works in 1 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012 : revised selected papers [NT 59711] by: Lohmann, N.; Beek, Maurice H. ter; WS-FM 2012 (2012)) ([NT 1579] Language materials, printed) , [edited]

[NT 60479] Subjects