(Q41818167)

English

The anatomy of a comprehensive constrained, restrained refinement program for the modern computing environment - Olex2 dissected

2015 scientific article

In more languages
default for all languages
No label defined

No description defined

Statements

The anatomy of a comprehensive constrained, restrained refinement program for the modern computing environment - Olex2 dissected (English)
0 references
0 references
0 references
0 references
January 2015
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit