A. Morzenti, P. San Pietro, S. Morasca, "A Tool for Automated System Analysis based on Modular Specifications," Automated Software Engineering, International Conference on, pp. 2, 13th IEEE International Conference on Automated Software Engineering (ASE'98), 1998.

@article{ 10.1109/ASE.1998.732560,
author = {A. Morzenti and P. San Pietro and S. Morasca},
title = {A Tool for Automated System Analysis based on Modular Specifications},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {1998},
isbn = {0-8186-8750-9},
pages = {2},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.1998.732560},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Automated Software Engineering, International Conference on
TI - A Tool for Automated System Analysis based on Modular Specifications
SN - 0-8186-8750-9
SP
EP
A1 - A. Morzenti,
A1 - P. San Pietro,
A1 - S. Morasca,
PY - 1998
VL - 0
JA - Automated Software Engineering, International Conference on
ER -