Utilisez cette balise avec la notation Z / ZɛD / qui est une langue de spécification formelle utilisée pour décrire et modéliser les systèmes informatiques.
Y a-t-il un package pour le latex qui prendra en charge la rédaction de spécifications Z? Je suis intéressé par des formats horizontaux et verticaux pour les sché ...
