共 50 条
- [3] EVALUATION OF VERIFICATION AND TESTING TOOLS FOR FORTRAN PROGRAMS. NASA Technical Memorandum, 1980,
- [4] Investigation Results of Several Electronic Circuit Analysis Programs. Izvestiya Vysshikh Uchebnykh Zavedenij. Radioelektronika, 1981, 24 (06): : 27 - 37
- [7] EFFICIENT SYMBOLIC ANALYSIS OF PROGRAMS. Journal of Computer and System Sciences, 1986, 32 (03): : 280 - 314
- [8] PARENTING PROGRAMS. COMPARATIVE ANALYSIS REVISTA ESPANOLA DE ORIENTACION Y PSICOPEDAGOGIA, 2015, 26 (02): : 104 - 122
- [9] Modeling of Electronic Circuits for Operative Programs of Analysis. Izvestiya Vysshikh Uchebnykh Zavedenij. Radioelektronika, 1974, 27 (07): : 11 - 19