Inductive verification of data model invariants in web applications using first-order logic von Bocić, Ivan, Bultan, Tevfik, Rosner, Nicolás

Volltext

Data Model Property Inference, Verification, and Repair for Web Applications von Nijjar, Jaideep, Bocić, Ivan, Bultan, Tevfik

Volltext

Data Model Bugs von Bocić, Ivan, Bultan, Tevfik

Volltext

Review of national methodologies for rivers' hydromorphological assessment: A comparative approach in France, Romania, and Croatia von Zaharia, Liliana, Ioana-Toroimac, Gabriela, Moroşanu, Gabriela-Adina, Gălie, Andreea-Cristina, Moldoveanu, Marinela, Čanjevac, Ivan, Belleudy, Philippe, Plantak, Mladen, Buzjak, Nenad, Bočić, Neven, Legout, Cédric, Bigot, Sylvain, Ciobotaru, Nicu

Volltext

Physical geographical analysis and geoecological assessment of potential protected area – the example of the Kupčina river valley, Zagreb County, Croatia von Tandarić, Neven, Ćosić, Mateja, Buzjak, Nenad, Bočić, Neven, Dubovečak, Vinka, Lacković, Ivan, Zastavniković, Ivana, Tomić, Dino

Volltext

Fizičkogeografska analiza i geoekološko vrednovanje potencijalno zaštićenog područja - primjer doline Kupčine von Tandarić, Neven, Ćosić, Mateja, Buzjak, Nenad, Bočić, Neven, Dubovečak, Vinka, Lacković, Ivan, Zastavniković, Ivana, Tomić, Dino

Volltext