Logo Nabla Nantes B Libraries  
sdssssssscbvcbvsssslhkhhkjhkjhkjhkhkjkjhkssssssdsdsdsdsdsdsdsdsdssd
Nantes B Libraries (Libraries of B specifications and development approaches)  
 Keywords : B specifications, Reuse, Libraries, Reuse Techniques Presentation 
 
Project :  Participants :   status :

Description :

Contact : email  
LINA  
Méthodes et Spécifications Formelles 		 Addresse  
LINA - Faculté des sciences  
 2, rue de la Houssinière BP 92298  
44 322 Nantes Cedex 3