A mechanized logical model of Z and object oriented specification, Thomas Santen
Nikto zatiaľ neohodnotil.Ohodnotiť