Discussion on: ``Formal specification method for systems automation'' (Q5971345)

From MaRDI portal
scientific article; zbMATH DE number 6326523
Language Label Description Also known as
English
Discussion on: ``Formal specification method for systems automation''
scientific article; zbMATH DE number 6326523

    Statements

    Discussion on: ``Formal specification method for systems automation'' (English)
    0 references
    7 August 2014
    0 references
    0 references