Search results for: Didier Bert
The Plant Journal > 103 > 1 > 338 - 356
Functional Ecology > 33 > 5 > 901 - 912
Cretaceous Research > 2018 > 88 > C > 375-383
Cretaceous Research > 2018 > 88 > C > 173-186
Lecture Notes in Computer Science > Integrated Formal Methods > Foundation of One Formalism by Another > 235-254
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 299-318
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Other Topics > 383-400
Lecture Notes in Computer Science > ESOP 86 > 119-132
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 741-755
Lecture Notes in Computer Science > Static Analysis > 178-192
Lecture Notes in Computer Science