Esther Guerra, Juan de Lara, Alessio Malizia. Model Driven Formal Development of Digital Libraries. In Joaquim Filipe, José A. Moinhos Cordeiro, editors, Web Information Systems and Technologies, Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers. Volume 8 of Lecture Notes in Business Information Processing, pages 169-183, Springer, 2007. [doi]
Abstract is missing.