|
 
|
[DM07] Geometric modeling with B: formal specification of generalized maps
Revue Internationale avec comité de lecture : Journal Journal of Scientific & Practical Computing Journal, vol. 1(2), pp. 9-24, 2007
motcle:
BibTeX
| @article { | |||
| DM07, | |||
| title | = | "{Geometric modeling with B: formal specification of generalized maps}", | |
| author | = | "C. Dubois and J. Marc Mota", | |
| journal | = | "Journal of Scientific & Practical Computing Journal", | |
| year | = | 2007, | |
| volume | = | 1, | |
| number | = | 2, | |
| pages | = | "9-24", | |
| } | |||
