Software validation with CASE-TOOLS

Johannes Rainer. Software validation with CASE-TOOLS. In Janusz Górski, editor, The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993. pages 240-249, Springer, 1993. [doi]

Authors

Johannes Rainer

This author has not been identified. Look up 'Johannes Rainer' in Google