[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || A Tree-Based Approach to Data Flow Proofs
Piskac, Ruzica, Rümmer, PhilippVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-030-03592-1_1
File:
PDF, 458 KB
english, 2018