Verified Software Units.

Lennart Beringer

Published in: ESOP (2021)

Keyphrases

software design
source code
software development
software tools
computer vision
database
real time
software package
genetic algorithm
website
information technology
software systems
software architecture
software projects
software maintenance
computer software