Filter
Sökt på: Sökresultat
Filter
1 träff
Tests and Proofs
häftad,
2014,
Engelska,
ISBN 9783319090986
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated …