| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Sidi Ould Biha: A Formal Semantics of PLC Programs in Coq. COMPSAC 2011: 118-127 |
| 3 | | Jan Olaf Blech, Sidi Ould Biha: Verification of PLC Properties Based on Formal Semantics in Coq. SEFM 2011: 58-73 |
| 2009 | ||
| 2 | | Sidi Ould Biha: Finite Groups Representation Theory with Coq. Calculemus/MKM 2009: 438-452 |
| 2008 | ||
| 1 | | Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca: Canonical Big Operators. TPHOLs 2008: 86-101 |
| 1 | Yves Bertot | [1] |
| 2 | Jan Olaf Blech | [3] |
| 3 | Georges Gonthier | [1] |
| 4 | Ioana Pasca | [1] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page