Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Nicolas Craipeau

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cacm/MetayerMMPFTCH11
- ask others
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin: Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54(4): 99-106 (2011)
2010
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/MetayerMTMPCFH10
- ask others
Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin: Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) 2010: 135-144

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?