Predicate diagrams as basis for the verification of reactive systems, Cecilia E. Nugraheni
Nikdo zatím neohodnotil.Ohodnotit