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
Last updated: Wednesday, 17 April 2019