List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formal methods in software development Z, B and VDM: comparison analysis Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka | 2016-09-27 | Paper |
| Foundations of the theory of relational database models Cybernetics and Systems Analysis | 1997-11-02 | Paper |
| Fixed points and closure operators: Programmological aspects Cybernetics and Systems Analysis | 1996-03-27 | Paper |
Research outcomes over time
This page was built for person: D. B. Buy
