B:B98

Didier Bert. Proceedings of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method. Lecture Notes in Computer Science, No 1393, Springer-Verlag, 1998.

Contact

Didier Bert

Référence BibTex

@Book{B:B98,
   Author = {Bert, Didier},
   Title = {{Proceedings of the 2nd Int. {B} Conference, B'98: Recent Advances in the Development and Use of the B Method}},
   Number = {1393},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Year = {1998}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)