Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5711 Publications
1991 | Conference Paper | LibreCat-ID: 39584
W. Müller, “Contract-Oriented System Design and Specification,” 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat
1990 | Conference Paper | LibreCat-ID: 7824
U. Hohenstein and G. Engels, “Formal Semantics of an Entity-Relationship Query Language,” in Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland, 1990, pp. 177–188.
LibreCat