An edition of Tests and proofs (2010)
4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings
By TAP 2010 (2010 Málaga, Spain)
Publish Date
2010
Publisher
Springer
Language
eng
Pages
182
Description:
subjects: Beweis, Model Checking, Testing, Programmtest, Quality control, Congresses, Formale Methode, Reliability, Softwareentwicklung, Softwaresystem, Computer software, Logic design, Computer science, Software engineering, Computer software, verification
Places: Málaga <2010>