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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
PDF
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb