Publications

(2022). Extending EcoAndroid with Automated Detection of Resource Leaks. 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems 2022 (MobileSoft 2022), co-located with ICSE 2022.

PDF

(2005). Camila Revival: VDM meets Haskell. In Overture Workshop 2005.

PDF Slides