Dominique Méry, Neeraj Kumar Singh. Critical systems development methodology using formal techniques. In Eric Castelli, Khanh Tran Duc, Chi Mai Luong, Viet Tran, editors, Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012. pages 3-12, ACM, 2012. [doi]
Abstract is missing.