Skip to main content

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