Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)

Authors
Publication date
7 June 2016
Publisher
HAL CCSD

Abstract

International audienc

    Similar works

    Full text

    thumbnail-image

    Available Versions

    INRIA a CCSD electronic archive server

    redirect
    oaioai:HAL:hal-01937245v1
    Last time updated on 12/01/2019

    Scientific Publications of the University of Toulouse II Le Mirail

    redirect
    oaioai:HAL:hal-01937245v1
    Last time updated on 08/01/2019