Enhancing dependability via parameterized refinement

Proceedings 1999 Pacific Rim International Symposium on Dependable Computing ◽

10.1109/prdc.1999.816221 ◽

2003 ◽

Author(s):

E.A. Troubitsyna

Download Full-text