Approaches and typology to be applied for building information models verificationElena MakishaE3S Web Conf., 132 (2019) 01015DOI: https://doi.org/10.1051/e3sconf/201913201015