Opening book details…
About this scholarly article
Formal Methods in Programming and Their Applications Volume 735 by Bjørner, Dines; Broy, Manfred; Pottosin, Igor V. is a scholarly article available to read on EtoBox.
- Author
- Bjørner, Dines; Broy, Manfred; Pottosin, Igor V.
- Publisher
- Springer-Verlag
- Published
- 1993
More by Bjørner, Dines; Broy, Manfred; Pottosin, Igor V.
Browse all works by Bjørner, Dines; Broy, Manfred; Pottosin, Igor V.