Normal view
MARC view
Laneve, Cosimo Editor (Personal Name)
Machine generated authority record.
Work cat.: (OSt)173367: Web services and formal methods : 6th international workshop, WS-FM, Bologna, Italy, Sept. 4-5, 2009 (e-book), 2010