Visualization Support for Contracts in VeriFast.

Pauline Hergersberg Judith Lippold Bastian Nahrstedt Thomas Baar

Published in: GI-Jahrestagung (2023)

Keyphrases

supply chain
video sequences
data analysis
genetic algorithm
digital libraries
end users
interactive visualization
interactive visual