Mostrando 1 - 3 Resultados de 3 Para Buscar 'Claessen, Koen', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Haskell'11 : proceedings of the 2011 ACM SIGPLAN Haskell Symposium, September 22, 2011, Tokyo, Japan
    por Claessen, Koen
    Publicado 2011
    Otros Autores: “…Claessen, Koen…”
    Libro electrónico
  2. 2
    PLPV'12 : proceedings of the Sixth Workshop on Programming Languages meets Program Verification : January 24, 2012, Philadelphia, PA, USA
    por Claessen, Koen
    Publicado 2012
    Otros Autores: “…Claessen, Koen…”
    Libro electrónico
  3. 3
    Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland
    Publicado 2014
    Otros Autores: “…Claessen, Koen, editor…”
    Libro electrónico

Herramientas de búsqueda: