A system for validating and executing LOTOS data abstractions, SVELDA.

Fehri, Mohamed Chedly.2009-03-202009-03-2019871987Source: Masters Abstracts International, Volume: 40-07, page: .9780315537798http://hdl.handle.net/10393/5300http://dx.doi.org/10.20381/ruor-10683Library Science.A system for validating and executing LOTOS data abstractions, SVELDA.Thesis