Tests and Proofs
- Springer 2017
- Lecture Notes in Computer Science .
9783319614670
Software Engineering; Computer Systems Organization and Communication Networks; Logics and Meanings of Programs; Computing Methodologies; Computer-Aided Engineering (CAD, CAE) and Design; Programming Techniques