A system for validating and executing LOTOS data abstractions, SVELDA.
Description
Title: | A system for validating and executing LOTOS data abstractions, SVELDA. |
Authors: | Fehri, Mohamed Chedly. |
Date: | 1987 |
URL: | http://hdl.handle.net/10393/5300 http://dx.doi.org/10.20381/ruor-10683 |
Collection | Thèses, 1910 - 2010 // Theses, 1910 - 2010 |
Files
ML53779.PDF | 3.37 MB | Adobe PDF | Open |