No Country For Old Men – A Modern Take on Metrics Driven Verification

Author(s):
Svetlomir Hristozkov, James Pallister, Richard Porter
Location:
Europe
Year:
2021
Type:
Paper
Format:
pdf