High-assurance software laboratory.Dependable IT solutions, Innovative businesses and future governance. Uustalu, Tarmo Tamm, Hellistarkvarateaduse instituut, vanemteadurAt TalTech: 2006-