Wednesday, 09 September 2009 |
We are proud to congratulate the best paper award winners: Miguel Alexandre Ferreira and José Nuno Oliveira. An Integrated Formal Methods Tool-Chain and its Application to Verifying a File System Model. Adriana Damasceno, Adalberto Farias and Alexandre Mota. A Mechanized Strategy for Safe Abstraction of CSP Specifications. |