V této sekci popíšeme klíčové vlastnosti, které lze rozlišovat u grafických specifikačních formalizmů.
