Abstract :
The following topics are dealt with: program verification; program testing; trading system; and program analysis.
Keywords :
program diagnostics; program testing; program verification; program analysis; program testing; program verification; trading system; Books; Computer science; Conferences; Electronic mail; IEEE Computer Society; Portals; Publishing;
Conference_Titel :
Tools & Methods of Program Analysis (TMPA), 2013
Conference_Location :
Kostroma
Print_ISBN :
978-0-9860773-1-9
DOI :
10.1109/TMPA.2013.7163727
