Date Range
Date Range
Date Range
foveny
Kevin Lee
10 Anson Road #26-04 International Plaza
Singapore, 079903
Singapore
If you see this page, the nginx web server is successfully installed and working. For online documentation and support please refer to nginx. Commercial support is available at nginx. Thank you for using nginx.
Document Storage and File Services. If you would like additional information or a demonstration on F. Ts complete listing of document management solutions and services please call us or click here.
2nd International Conference on Formal Verification of Object-Oriented Software. Turin, Italy, October 5-7, 2011. The FoVeOOS 2010 post-conference proceedings. Published by Springer as volume 6528 in the LNCS series are now available in print. The best student paper and presentation award. For the talk Satisfiability Solving and Model Generation for Quantified First-order Logic Formulas.
COST IC0701 Verification Competition 2011. Meeting of COST Action IC0901. 2nd International Conference on Formal Verification of Object-Oriented Software. Turin, Italy, October 5-7, 2011. COST IC0701 Verification Competition 2011. The conference is organised by COST Action IC0701.