Verified Software. Theories, Tools, and Experiments
Ruzica Piskac, Philipp R�mmer
Verified Software. Theories, Tools, and Experiments - Springer 2018 - Lecture Notes in Computer Science .
Computer Science
Verified Software. Theories, Tools, and Experiments - Springer 2018 - Lecture Notes in Computer Science .
Computer Science