Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference22 articles.
1. Modeling in Event-B: System and Software Engineering;Abrial,2013
2. Hybrid Logic and Its Proof-Theory;Braüner,2010
3. Encoding hybridized institutions into first-order logic;Diaconescu;Math. Struct. Comput. Sci.,2016
4. An institution for event-B;Farrell,2017
5. Institutions: abstract model theory for specification and programming;Goguen;J. ACM,1992