1
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... Termination of C Programs with Lists -- 1 Introduction -- 2 Abstract States for Symbolic Execution -- 3...
Click to View
2
by Biele, Cezary.
Published 2023
Format:
Table of Contents: ... State of the Art -- 3 Software -- 3.1 Programming Environment -- 3.2 Light Fixture Detection -- 3.3 GUI...
Click to View