共 50 条
[35]
What if the Model Does not Work?
[J].
Teaching Mathematics and its Applications,
1982, 1 (03)
:89-91
[38]
Verification games: Making verification fun
[J].
Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop,
2012,
:42-49
[39]
POLICY MAKING: PLURALISTIC SIMULATION MODEL
[J].
Journal of the technical councils of ASCE,
1980, 106 (01)
:93-99