@inproceedings{DBLP:conf/fm/AlvesSVO05,
author = {Tiago L. Alves and
Paulo F. Silva and
Joost Visser and
Jos{\'e} Nuno Oliveira},
title = {Strategic Term Rewriting and Its Application to a VDMSL
to SQL Conversion},
booktitle = {FM},
year = {2005},
pages = {399-414},
ee = {http://dx.doi.org/10.1007/11526841_27},
crossref = {DBLP:conf/fm/2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fm/2005,
editor = {John Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {FM 2005: Formal Methods, International Symposium of Formal
Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
booktitle = {FM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3582},
year = {2005},
isbn = {3-540-27882-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2006-09-11 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
