Jump to content

formal methods (Q1049183)

From Wikidata
mathematical program specification intended to allow correctness proofs, including algorithmically
edit
Language Label Description Also known as
default for all languages
No label defined
    English
    formal methods
    mathematical program specification intended to allow correctness proofs, including algorithmically

      Statements

      0 references
      0 references
      0 references
      Formal methods
      0 references

      Identifiers

       
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    edit