![](/img/cover-not-exists.png)
Formal methods into practice: case studies in the application of the B method
Bicarregui, J.C., Clutterbuck, D.L., Finnie, G., Haughton, H., Lano, K., Lesan, H., Marsh, D.W.R.M., Matthews, B.M., Moulding, M.R., Newton, A.R., Ritchie, B., Rushton, T.G.A., Scharbach, P.N.Volume:
144
Year:
1997
Language:
english
DOI:
10.1049/ip-sen:19970974
File:
PDF, 1.86 MB
english, 1997