FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings (Q1339730)

From MaRDI portal
scientific article
Language Label Description Also known as
English
FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings
scientific article

    Statements

    FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings (English)
    0 references
    5 December 1994
    0 references
    The articles of this volume will be reviewed individually.
    0 references
    Barcelona (Spain)
    0 references
    Symposium
    0 references
    Proceedings
    0 references
    FME '94
    0 references
    Formal methods
    0 references

    Identifiers