About this scholarly article
FME '93: Industrial-Strength Formal Methods Volume 670 by Woodcock, James C. P.; Larsen, Peter G. is a scholarly article available to read on EtoBox.
- Author
- Woodcock, James C. P.; Larsen, Peter G.
- Publisher
- Springer-Verlag
- Published
- 1993