Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels

Authors
Publication date
1 May 2015
Publisher
HAL CCSD

Abstract

National audienceCet ouvrage présente les actes des 14èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2015) qui se sont tenues à Bordeaux les 9 et 10 juin 2015

    Similar works

    Full text

    thumbnail-image

    Available Versions

    INRIA a CCSD electronic archive server

    redirect
    oaioai:HAL:hal-01155626v1
    Last time updated on 09/11/2016