20052020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2017
Open Access
File
28 Downloads (Pure)
2011

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties

Le Métayer, D., Maarek, M., Mazza, E., Potet, M., Frénot, S., Tong, V. V. T., Craipeau, N. & Hardouin, R., Apr 2011, In : Communications of the ACM. 54, 4, p. 99

Research output: Contribution to journalArticle