Assisted Coverage Closure

View/Open
Volume
9690
Pagination
49 - 64
DOI
10.1007/978-3-319-40648-0_5
Journal
NASA FORMAL METHODS, NFM 2016
ISSN
0302-9743
Metadata
Show full item record
Authors
Nellis, A; Kesseli, P; Conmy, PR; Kroening, D; Schrammel, P; Tautschnig, M
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/11330
Collections