Kvantitatívna analýza typov zaistenia v neživotnom poistení na infraštruktúrach pre paralelné a distribuované spracovanie - Šeleng, Martin