Semi-formal Reformulation of Requirements for Formal Property Verification

Author(s):
Katharina Ceesay-Seitz, Hamza Boukabache and Daniel Perrin
Location:
Europe
Year:
2019
Type:
Presentation
Format:
pdf