Chapter
Developing BON as an Industrial-Strength Formal Method
Authors
Paige RF; Ostroff JS
Book title
FM’99 — Formal Methods
Editors
Goos G; Hartmanis J; van Leeuwen J; Wing JM; Woodcock J; Davies J
Volume
1708
Pagination
pp. 834-853
Publisher
Springer Berlin Heidelberg
Publication Date
January 1, 1999
DOI
10.1007/3-540-48119-2_46