Old Web
English
Sign In
Acemap
>
Paper
>
New Results - Formal Methods for Developing Algorithms and Systems
New Results - Formal Methods for Developing Algorithms and Systems
2015
Manamiary Bruno Andriamiarina
Noran Azmy
Gabriel Corona
Marie Duflot-Kremer
Marion Guthmuller
Souad Kherroubi
Dominique Méry
Stephan Merz
Martin Quinson
Christoph Weidenbach
Keywords:
Formal methods
Theoretical computer science
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]