%0 Generic
%T Faultless systems: Yes we can!
%A Abrial, Jean-Raymond
%I Swiss Federal Institute of Technology, Information Security
%K computer science
%K VERIFICATION (SOFTWARE ENGINEERING)
%K VERIFIKATION (SOFTWARE ENGINEERING)
%K Data processing
%K TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING)
%K TESTING + DEBUGGING (SOFTWARE ENGINEERING)
%D 2009
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Swiss Federal Institute of Technology, Information Security
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation