Conférence internationale B
Biographie
Organisée par l'Institut de recherches en informatique de Nantes, le Département informatique de l'Institut universitaire de technologie de Nantes, le B user group et le BIP.
Contributions de Conférence internationale B
-
1st Conference on the B method, 8th International conference on Putting into practice methods and tools for information system designConférence internationale BInstitut de recherches en informatique de Nantes