%0 Generic
%T 09381 Extended Abstracts Collection – Refinement Based Methods for the Construction of Dependable Systems
%A Abrial, Jean-Raymond
%A Butler, Michael
%A Joshi, Rajev
%A Troubitsyna, Elena
%A Woodcock, Jim C. P.
%A Jean-Raymond Abrial and Michael Butler and Rajev Joshi and Elena Troubitsyna and Jim C. P. Woodcock
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K modelling
%K verification
%K dependable systems
%K Specification
%K refinement
%D 2010
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation