author = { Schmalz, Matthias },

title = { The logic of event-B },

publisher = {ETH, Department of Computer Science},

keywords = { SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES , computer science , SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME) , Data processing , SPECIFICATION LANGUAGES (COMPUTER SYSTEMS) , SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN },

year = {2011},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

booktitle = {Technical Report / ETH Zurich, Department of Computer Science, 698},

url = { http://slubdd.de/katalog?TN_libero_mab2 }