共 50 条
- [22] The Logical Approach to Low-level Stack Reasoning THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 209 - 216
- [23] MANAGING LOW-LEVEL WASTES - A PROPOSED APPROACH TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1980, 35 (NOV): : 502 - 503
- [26] A low-level approach to improve programming learning Universal Access in the Information Society, 2021, 20 : 479 - 493
- [28] TRANSMISSION INTERFERENCE IN LOW-LEVEL INSTRUMENTATION SYSTEMS PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1958, 46 (03): : 627 - 627
- [29] Formalising Executable Specifications of Low-Level Systems VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 155 - 176