Are High-Level Languages Suitable for Robust Telecoms Software?.

Jan Henry Nystrm, Philip W. Trinder, David J. King

Browse the full SAFECOMP paper archive.