Publications

Strategic Term Rewriting and Its Application to a Vdm-Sl to Sql Conversion

AuthID
P-000-5R1

Author(s)

Alves, TL

Silva, PF

Visser, J

Oliveira, JN

Editor(s)

Fitzgerald, J; Hayes, IJ; Tarlecki, A

Document Type

Article

Year published

2005

Published

in FM 2005: FORMAL METHODS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 3582, Pages: 399-414 (16)

Conference

13Th International Symposium of Formal Methods Europe, Date: JUL 18-22, 2005, Location: Tyne, ENGLAND, Sponsors: Formal Methods Europe, SAP Res, Univ Newcastle, Ctr Software Reliabil, British Comp Soc, Specialist Grp Forman Aspects Comp Sci

Indexing