Repository and meta-data design for efficient component consistency verification

Premek Brada, Kamil Jezek. Repository and meta-data design for efficient component consistency verification. Science of Computer Programming, 97:349-365, 2015. [doi]

Abstract

Abstract is missing.