Cited By
View all- Al-Sibahi AJensen TDimovski AWąsowski A(2020)Verification of high-level transformations with inductive refinement typesACM SIGPLAN Notices10.1145/3393934.327812553:9(147-160)Online publication date: 7-Apr-2020
- Boiret AHugot VNiehren JTreinen R(2019)Logics for unordered trees with data constraintsJournal of Computer and System Sciences10.1016/j.jcss.2018.11.004104:C(149-164)Online publication date: 1-Sep-2019
- Marinov MGeorgiev GPopova E(2018)NoSQL approach for sensor data storage and retrieval2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)10.23919/MIPRO.2018.8400257(1427-1432)Online publication date: May-2018
- Show More Cited By