M. Löwe, "Formal Methods," Software Maintenance and Reengineering, European Conference on, pp. 43, 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 1997.

@article{ 10.1109/CSMR.1997.583002,
author = {M. Löwe},
title = {Formal Methods},
journal ={Software Maintenance and Reengineering, European Conference on},
volume = {0},
year = {1997},
isbn = {0-8186-7892-5},
pages = {43},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSMR.1997.583002},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Software Maintenance and Reengineering, European Conference on
TI - Formal Methods
SN - 0-8186-7892-5
SP
EP
A1 - M. Löwe,
PY - 1997
VL - 0
JA - Software Maintenance and Reengineering, European Conference on
ER -