Assisted Coverage Closure
Adam Nellis‚ Pascal Kesseli‚ Philippa Ryan Conmy‚ Daniel Kroening‚ Peter Schrammel and Michael Tautschnig
Book Title
NASA Formal Methods Symposium‚ NFM 2016
Note
To appear.
Publisher
Springer
Series
LNCS
Year
2016
Adam Nellis‚ Pascal Kesseli‚ Philippa Ryan Conmy‚ Daniel Kroening‚ Peter Schrammel and Michael Tautschnig