Search for: [Abstract = "The third stage deals with a generation of the process in the form of a graph of states and automatic relative correctness verification. The fourth stage is related to correctness verification for user\-defined criteria. The proposed verification method examines the relative correctness concept introduced in former papers."]
Number of results: 1
AMCS, volume 4 (1994)
Szmuc, Tomasz Szwed, Piotr Korbicz, Józef - red. Uciński, Dariusz - red.
1994
artykuł