Tests and Proofs
Subtitle: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Publisher: Springer
Published: Jun 03, 2018
Format: paperback
Number of pages: 199
ISBN-13: 9783319929934
Notes: Source title: Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Lecture Notes in Computer Science (10889))