Publication
Computer Networks
Paper
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
Abstract
No abstract available.
No abstract available.