Result: Verification-based software-fault detection

*Title*:

*Author/editor-in-chief*:

*Publication*:

[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2011

*Distribution*:

The Hague : OAPEN FOUNDATION

*Physical description scale*:

1 Online-Ressource (XVII, 264 p. p.)

*Format*:

*eBook*

*Language*:

*eng*

*Subject Added Keywords*:

*ISBN*:

9783866446762

*oa_rights*:

Open Access

*Result*: Verification-based software-fault detection