Showing 21 - 23 results of 23 for search '"Formal methods (Computer science) Congresses."', query time: 0.02s Refine Results
  1. 21

    Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
  2. 22

    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

    Published in Springer eBooks. (2011)
    Available for University of the Philippine Diliman via Springerlink. Click here to access
    Electronic Resource

    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  3. 23

    Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

Search Tools: