Search results for: Pierre Chartier
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 66-82
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 394-395
Journal of Solid State Chemistry > 1999 > 145 > 1 > 23-32
Journal of Solid State Chemistry > 1995 > 116 > 1 > 157-169