Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).

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). 1845-1855 1996 28 Computer Networks and ISDN Systems 13 db/journals/cn/cn28.html#CourtiatDHLRZ96 http://dx.doi.org/10.1016/0169-7552(96)00083-9