1
by Cohen, Ryan.
Published 2014
Format:
Table of Contents: ... Application Development -- Development Environment of Android Applications -- Cross-Development -- Programming...
Click to View
2
by Johnsen, Einar Broch.
Published 2022
Format:
Table of Contents: ... Program Sketching using Lifted Static Analysis -- 1 Introduction -- 2 Motivating Examples -- 3...
Click to View
3
by Silva, Alexandra.
Published 2021
Format:
Table of Contents: ... for Programs -- 6 Evaluation -- 7 Related Work -- References -- Decision Tree Learning in CEGIS-Based...
Click to View
4
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... Processing. -- 2.2 Representing Simulation States using SMT formulas. -- 2.3 Symbolic Simulation. -- 2...
Click to View