repAIrC: A Tool for Ensuring Data Consistency.
Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
Browse the full IC3K paper archive.
Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
Browse the full IC3K paper archive.