【作者(必填)】
[backcolor=rgba(0, 0, 0, 0)][size=1em]Flavio Ferrarotti a, Michael Moser a
, Josef Pichler b
【文题(必填)】
Stepwise abstraction of high-level system specifications from source code
【年份(必填)】
[backcolor=rgba(0, 0, 0, 0)][size=1em]Volume 60
,
October 2020
, 100996
【全文链接或数据库名称(选填)】
https://www.sciencedirect.com/science/article/abs/pii/S2590118420300563