| 000 | 01012 a2200265 4500 | ||
|---|---|---|---|
| 001 | 331128 | ||
| 003 | OSt | ||
| 005 | 20240710150913.0 | ||
| 008 | 240710b |||||||| |||| 00| 0 eng d | ||
| 020 | _a978-3-642-21768-5 | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 245 | _aTests and proofs : 5th international conference : proceedings, TAP, Zurich, Switzerland, June 30 - July 1, 2011 (e-book) | ||
| 260 |
_aBerlin _bSpringer _c2011 |
||
| 440 |
_922935 _aLecture Notes in Computer Science (LNCS) _vv.6706 |
||
| 440 |
_944995 _aLNCS Sublibrary : SL 2 – Programming and Software Engineering |
||
| 650 |
_aComputer Science and Engineering _97673 |
||
| 650 | 0 |
_aComputer software _vCongresses _xTesting _952040 |
|
| 650 | 0 |
_aComputer software _vCongresses _xVerification _96764 |
|
| 650 | 0 |
_aFormal methods (Computer science) _vCongresses _96794 |
|
| 700 |
_aGogolla, Martin _eEditor _936690 |
||
| 700 |
_aWolff, Burkhart _eEditor _957803 |
||
| 856 | _uhttps://doi.org/10.1007/978-3-642-21768-5 | ||
| 942 |
_2udc _cEB |
||
| 999 |
_c175515 _d175515 |
||