Special track on software verification and testing
- Merayo, M.G.
- Salaün, G.
Actes:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781450337397
Any de publicació: 2016
Volum: 04-08-April-2016
Pàgines: 1619
Tipus: Editorial