Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference

2018 ◽  
Sign in / Sign up

Export Citation Format

Share Document