|
 
|
[DM06] A formally verified geometric modelling core
Conférence Internationale avec comité de lecture : SERP'06 - Int. Conf. on Software Engineering Research and Practice, Las Vegas, USA,, January 2006, pp.643-649, Series CSREA Press,
motcle:
BibTeX
| @inproceedings { | |||
| DM06, | |||
| title | = | "{A formally verified geometric modelling core}", | |
| author | = | " C. Dubois and J. Mota ", | |
| booktitle | = | "{SERP'06 - Int. Conf. on Software Engineering Research and Practice, Las Vegas, USA,}", | |
| year | = | 2006, | |
| month | = | "January", | |
| series | = | "CSREA Press", | |
| pages | = | "643-649", | |
| } | |||
