Author books / Книги автора Ruzica Piskac Philipp Rümmer » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Ruzica Piskac Philipp Rümmer

book Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

pdf

Author: Ruzica Piskac Philipp Rümmer
Language: English
Year: 2018

00

30.01.2024

0

0