K. Rustan M. Leino, "Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering," Computer Software and Applications Conference, Annual International, pp. 11, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008.

@article{ 10.1109/COMPSAC.2008.242,
author = {K. Rustan M. Leino},
title = {Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2008},
issn = {0730-3157},
pages = {11},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.242},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering
SN - 0730-3157
SP
EP
A1 - K. Rustan M. Leino,
PY - 2008
KW - null
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -