Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference - WASPI 2018
Latest Publications

TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By ACM Press

9781450360579
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Contract discovery from black-box components

2018 ◽  
Author(s):  
Vaibhav Sharma ◽  
Taejoon Byun ◽  
Stephen McCamant ◽  
Sanjai Rayadurgam ◽  
Mats P. E. Heimdahl
Keyword(s):  
Black Box
Load More ...
Sign in / Sign up

Export Citation Format

Share Document