Evaluating Automated Software Verification Tools

Publication Type:

Conference Paper

Authors:

Christian Prause; Rainer Gerlich; Ralf Gerlich

Source:

IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), Vasteras, Sweden (2018)
Share/Save