Concepedia

Christine Maurel

CM

Statistics

Publications

1

Citations

10

H-Index

1

Active since

2006

Christine Maurel is an author specializing in system software, formal methods, and formal verification.

Top concepts

Publications per year

2006–2006

1

Publications

1

Towards Rigorous Metamodeling

Benôıt Combemale, Sylvain Rougemaille, Xavier Crégut et al. · 2006 · 10 citations · Full text

, , +23

Rows per page

1–1 of 1