(1 - 20 from 20
)
Accepted papers - FoVeOOS 2010
foveoos2010.cost-ic0701.org
Mattias Ulbrich. A Dynamic Logic for Unstructured Programs with Embedded Assertions. Ilham W. Kurnia, Arnd Poetzsch-Heffter and Yannick Welsch. State-based Object Models are more Abstract than Trace-based Models: Towards a Unified Specification Framework. Samir Chouali, Sebti Mouelhi and Hassan Mountassir.
Accepted papers - FoVeOOS 2010foveoos2010.cost-ic0701.org › programme › accep...
foveoos2010.cost-ic0701.org
Samir Chouali, Sebti Mouelhi and Hassan Mountassir. Adapting Components using Interface Automata strengthened by Action Semantics. Einar Broch Johnsen ...
sorted by relevance / date