Preface [to: Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings]

Chapter
Publication Date:
2010
Short description:
(2010). Preface [to: Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings] . Retrieved from https://hdl.handle.net/10446/257172
Iris type:
1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords
List of contributors:
Authors of the University:
Handle:
https://aisberg.unibg.it/handle/10446/257172
Book title:
Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Research