%0 Book %1 Peled2001 %A Peled, Doron A. %D 2001 %I Springer %K formal methods testing %T Software Reliability Methods %U http://www.amazon.com/Software-Reliability-Methods-Computer-Science/dp/0387951067%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0387951067 %7 1 %@ 0387951067

@book{Peled2001, added-at = {2008-09-04T11:37:16.000+0200}, asin = {0387951067}, author = {Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2a500724c80ac997c46f95208be0b1b11/ist_spl}, description = {MR: Neben den formalen Methoden wird auch der Softwaretest behandelt, sowie "Combining Testing and Model Checking".}, dewey = {005}, ean = {9780387951065}, edition = 1, interhash = {bdb30e1b2bce9e6dad8c2c037a6f833a}, intrahash = {a500724c80ac997c46f95208be0b1b11}, isbn = {0387951067}, keywords = {formal methods testing}, publisher = {Springer}, timestamp = {2008-09-04T11:37:18.000+0200}, title = {Software Reliability Methods}, url = {http://www.amazon.com/Software-Reliability-Methods-Computer-Science/dp/0387951067%3FSubscriptionId%3D13CT5CVB80YFWJEPWS02%26tag%3Dws%26linkCode%3Dxm2%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0387951067}, year = 2001 }