Skip to Main Content (Press Enter)
×
Home
Degrees
Courses
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
unibg.it
IT
EN
×
Home
Degrees
Courses
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
☰
Outputs
Tests and Proofs. 4th International Conference, TAP, Malaga, Spain, July 2010, Proceedings
Edited Book
Publication Date:
2010
Iris type:
1.6.01 Curatele - Edited books
List of contributors:
Fraser, Gordon; Gargantini, Angelo Michele
Authors of the University:
GARGANTINI Angelo Michele
Handle:
https://aisberg.unibg.it/handle/10446/24618
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Series
Overview
Research
Overview
URL
https://link.springer.com/book/10.1007/978-3-642-13977-2
Research
Concepts
Academic field (2000 version)
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
