共 50 条
- [23] POLITICS - SYMBOLIC BUT SIGNIFICANT [J]. ECONOMIC AND POLITICAL WEEKLY, 1992, 27 (36) : 1881 - 1882
- [24] THE PROMISE OF ACTION LEARNING PROGRAMS [J]. EDULEARN16: 8TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2016, : 5810 - 5810
- [27] Symbolic Execution for Randomized Programs [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
- [28] A Symbolic Verifier for CUDA Programs [J]. PPOPP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2010, : 357 - 358
- [30] Symbolic Semantics for Probabilistic Programs [J]. QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2023, 2023, 14287 : 329 - 345