Pierre Chartier

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002

2 EE Pierre Chartier: ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. ZB 2002: 394-395

1998

1 EE Pierre Chartier: Formalisation of B in Isabelle/HOL. B 1998: 66-82

2002
2	EE	Pierre Chartier: ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. ZB 2002: 394-395
1998
1	EE	Pierre Chartier: Formalisation of B in Isabelle/HOL. B 1998: 66-82