![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
14. SBMF 2011: São Paulo, Brazil
- Adenilso da Silva Simão
, Carroll Morgan:
Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7021, Springer 2011, ISBN 978-3-642-25031-6 - Harald König, Michael Löwe, Christoph Schulz:
Model Transformation and Induced Instance Migration: A Universal Framework. 1-15 - Roderick Chapman
, Eric Botcazou, Angela Wallenburg:
SPARKSkein: A Formal and Fast Reference Implementation of Skein. 16-27 - Yannick Welsch, Arnd Poetzsch-Heffter:
Full Abstraction at Package Boundaries of Object-Oriented Languages. 28-43 - Marcel Vinícius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz:
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design. 44-59 - Camilo Rocha
, César A. Muñoz:
Simulation and Verification of Synchronous Set Relations in Rewriting Logic. 60-75 - Pedro Matiello, Ana Cristina Vieira de Melo:
PiStache: Implementing π-Calculus in Scala. 76-91 - Dominik Steenken, Heike Wehrheim, Daniel Wonisch:
Sound and Complete Abstract Graph Transformation. 92-107 - Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim:
On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. 108-123 - Fabian Büttner, Martin Gogolla:
Modular Embedding of the Object Constraint Language into a Programming Language. 124-139 - Viorel Preoteasa:
Algebra of Monotonic Boolean Transformers. 140-155 - Diego Machado Dias, Juliano Manabu Iyoda:
Behavioural Preservation in Fault Tolerant Patterns. 156-171 - Sara Kalvala, Richard Warburton:
A Formal Approach to Fixing Bugs. 172-187 - Christophe Chareton, Julien Brunel, David Chemouil
:
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. 188-203
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.