RT Journal Article
JF Software Engineering, International Conference on
YR 2001
VO 00
IS
SP 0037
TI The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
A1 Leon J. Osterweil,
A1 Lori A. Clarke,
A1 Jamieson M. Cobleigh,
K1
PB IEEE Computer Society, [URL:http://www.computer.org]
SN
LA English
DO 10.1109/ICSE.2001.919079
LK http://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919079