8. IFM 2010:
Nancy, France Dominique Méry , Stephan Merz (Eds.):
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings.
Lecture Notes in Computer Science 6396 Springer 2010, ISBN 978-3-642-16264-0
export record as
dblp key:
Christel Baier :
On Model Checking Techniques for Randomized Distributed Systems.
1-11
export record as
dblp key:
conf/ifm/FitzgeraldLPVW10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Pontus Boström :
Creating Sequential Programs from Event-B Models.
74-88
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Aleksandar Dimovski :
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs.
121-135
export record as
dblp key:
Johannes Faber :
Verification Architectures: Compositional Reasoning for Real-Time Systems.
136-151
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sorin Stratulat :
Integrating Implicit Induction Proofs into Certified Proof Environments.
320-335
data released under the ODC-BY 1.0 license
