«

»

A Proof Assistant Based Formalization of MDE Components

by Kezadri Mounira, Benoit Combemale, Marc Pantel, Xavier Thirioux
Reference:
A Proof Assistant Based Formalization of MDE Components (Kezadri Mounira, Benoit Combemale, Marc Pantel, Xavier Thirioux), In 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Springer, 2011.
Bibtex Entry:
@inproceedings{MOUNIRA:2011:INRIA-00614593:1,
	Address = {Oslo, Norway},
	Author = {Mounira, Kezadri and Combemale, Benoit and Pantel, Marc and Thirioux, Xavier},
	Booktitle = {{8th International Symposium on Formal Aspects of Component Software (FACS 2011)}},
	Month = Sep,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {{A Proof Assistant Based Formalization of MDE Components}},
	Url = {http://hal.inria.fr/inria-00614593/},
	Year = {2011},
	Bdsk-Url-1 = {http://hal.inria.fr/inria-00614593/}}