Formal methods after 15 years: Status and trends A paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, October 1995
- Jean-Pierre Courtiat
- Piotr Dembinski
- et al.
- 1996
- Computer Networks
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. We’re currently adding our back catalog of more than 110,000 publications. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.