( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using the Alloy Analyzer to Verify Data Refinement in Z

. Electronic Notes in Theoretical Computer Science, 137 (2): 23--44 (июля 2005)
DOI: http://dx.doi.org/10.1016/j.entcs.2005.04.023

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Christie Bolton

Fintan Bolton

Sibylle Bolton

Eberhard Percy Bolton

Anna-Christie Cronholm

 

Другие публикации лиц с тем же именем

Using the Alloy Analyzer to Verify Data Refinement in Z. Electronic Notes in Theoretical Computer Science, 137 (2): 23--44 (июля 2005)A Hierarchy of Failures-Based Models., и . EXPRESS, том 96 из Electronic Notes in Theoretical Computer Science, стр. 129-152. Elsevier, (2003)