共 50 条
[50]
First steps in the verified software grand challenge
[J].
30th Annual IEEE/NASA Software Engineering Workshop, Proceedings,
2006,
:203-203