Keyword:uniformity

Publications
Detailed Mechanism of Nanowire Nucleation and Growth in an MBE System Elizabeth Henry EasyChair Preprint 14402
Proving uniformity and independence by self-composition and coupling Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu and Pierre-Yves Strub In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning