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}
}