Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2002
Duran, Adolfo and Sampaio, Ana and Cavalcanti, Augusto (2002) Refinement Algebra for Formal Bytecode Generation. In: Proceedings of the 4th International Conference on Formal Engineering Methods - ICFEM 2002. Springer-Verlag pp. 347-358. ISBN 978-3-540-00029-7. (doi:https://doi.org/10.1007/3-540-36103-0_36) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |