软件掺杂的多个侧面
计算机科学中的逻辑
2018-03-28 v1 软件工程
摘要
本文对软件掺杂的形式化层面提供了一个非正式的讨论。
引用
@article{arxiv.1803.10154,
title = {Facets of Software Doping},
author = {Gilles Barthe and Pedro R. D'Argenio and Bernd Finkbeiner and Holger Hermanns},
journal= {arXiv preprint arXiv:1803.10154},
year = {2018}
}
备注
arXiv admin note: substantial text overlap with arXiv:1702.04693