Mutable Verification Environments Through Visitor and Dynamic Register Map Configuration

Author(s):
Matteo Barbati, Alberto Allara
Location:
Europe
Year:
2020
Type:
Paper
Format:
pdf