José Gonçalo A. Oliveira Basto da Silva, Paulo Rupino da Cunha. Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal. In 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA. IEEE Computer Society, 2006. [doi]
Abstract is missing.