Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave. Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique 95, Conference, Montreal, October 1995). Computer Networks, 28(13):1845-1855, 1996. [doi]
Abstract is missing.