@book{54049,
	author = {Niyonkuru,Réverien},
	title = {Conception et développement d'un système automatisé de gestion et de sécurisation des matériels optiques dans les corps de défense et de  securité ,base  sur un modèle d'analyse formelle},
	publisher = {Université du Burundi,Faculté des  Sciences de l'ingenieur},
	year = {2025},
	address = {Bujumbura}
}