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

Verfasser / Beitragende:
Dyer, Robert
Ort, Verlag, Jahr:
[S.l.] : Association for Computing Machinery, 2018
Beschreibung:
1 online resource
Format:
Buch (online)
ID: 563220775