Predicate diagrams as basis for the verification of reactive systems, Cecilia E. Nugraheni
Nikto zatiaľ neohodnotil.Ohodnotiť