%0 Generic
%T The logic of event-B
%A Schmalz, Matthias
%I ETH, Department of Computer Science
%K SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES
%K computer science
%K SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME)
%K Data processing
%K SPECIFICATION LANGUAGES (COMPUTER SYSTEMS)
%K SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN
%D 2011
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C ETH, Department of Computer Science
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation