共 50 条
[49]
Combinatory Logic Synthesizer
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I,
2014, 8802
:26-40