Media type: E-Book; Electronic Thesis; Doctoral Thesis Title: Formalizing the logic of event-B: Partial functions, definitional extensions, and automated theorem proving Contributor: Schmalz, Matthias [Author] imprint: ETH, 2012 Language: English DOI: https://doi.org/20.500.11850/64337; https://doi.org/10.3929/ethz-a-007577749 Keywords: SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES ; computer science ; SPEZIFIKATIONSSPRACHEN (COMPUTERSYSTEME) ; Data processing ; SPECIFICATION LANGUAGES (COMPUTER SYSTEMS) ; DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE) ; SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN ; DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ) Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted