Verification of co-operating-systems and behaviour abstraction, Ulrich Nitsche
Nikto zatiaľ neohodnotil.Ohodnotiť