Project

The LoSD project objetive is to develop and apply language-based techniques, such as program transformation and formal verification, to software development.

This project is partially sponsored by CNPq under process 300294/2003-4 and PROPP/UFF.