Automated Configuration of Verification Environments using SpecmanMacros

Author(s):
Milos Mirosavljevic, Ron Sela, Dejan Janjic and Efrat Shneydor
Location:
Europe
Year:
2018
Type:
Presentation
Format:
pdf