Tests and Refutation

Thumbnail
Metadata only
Author
Torabi Dashti, Mohammad
Basin, David
Date
2017
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
D'Souza, Deepak
Kumar, K. Narayan
Book title
Automated Technology for Verification and Analysis
Journal / series
Lecture Notes in Computer Science
Volume
10482
Pages / Article No.
119 - 138
Publisher
Springer
Event
15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Pune, India, October 3-6, 2017
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics