Goerigk, Wolfgang; Langmaack, Hans
(2003)
The present and the previous article on Realistic Correct Systems Implementation together address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system ...