Bruni, Roberto
[Sonstige Person, Familie und Körperschaft];
Wolf, Karsten
[Sonstige Person, Familie und Körperschaft];
Bruni, Roberto L.
[HerausgeberIn]
;
WS-FM 5 2008 Mailand
Web Services and Formal Methods
: 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings