From Research to Teaching Formal Methods: The B Method - TFM-B'2009
Résumé
Conference Proceedings
Christian Attiogbe : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00481604
Soumis le : vendredi 7 mai 2010-00:27:47
Dernière modification le : vendredi 5 janvier 2024-03:23:16