Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
DOI: 10.1109/sefm.2005.9
Springer Verlag, Software and Systems Modeling, 3(7), p. 287-301
DOI: 10.1007/s10270-008-0085-0
Export citation
Search in Google Scholar
Full text: Unavailable