Formal methods Europe. International symposium (03 ; 1996 ; Oxford, GB)

Creation :18-03-1996
org_stop_date :22-03-1996

Occupations

Auteur du texte1 document

  • FME '96, industrial benefit and advances in formal methods

    third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings

    Material description : XII-704 p.
    Note : Note : Bibliogr. en fin de chapitre. Index
    Edition : Berlin : Springer , cop. 1996
    Éditeur scientifique : Marie-Claude Gaudel, Jim Woodcock

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb390848651]

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • FME '96, cop. 1996

Closely matched pages