Formal Specification Scanning Streams using RAISE.
Title | Formal Specification Scanning Streams using RAISE. |
Publication Type | Journal Article |
Year of Publication | 2004 |
Authors | Dosch, W, Riesco, D, Beron, M, Montejano, G |
Bibtex:
@article {614, title = {Formal Specification Scanning Streams using RAISE.}, year = {2004}, note = {In: M. Khosrow-Pour (ed.): Innovations Through Information Technology, Vol. 2. New Orleans, Louisiana, May 23-26, 2004. London: Idea Group Publishing 2004, 1011-1013 [ISBN 1-59140-261-1]}, author = {W. Dosch and D. Riesco and M. Beron and G. Montejano} }