( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Program Refinement Tool

, , , , и . Formal Aspects of Computing, 10 (2): 97--124 (февраля 1998)
DOI: http://dx.doi.org/10.1007/s001650050006

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.

Thomas Nickson

Robert Ray

Ray Mundell

Kallol Ray

Andrew Ray

 

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

The Cogito Development System., , , , , и . AMAST, том 1349 из Lecture Notes in Computer Science, стр. 586-591. Springer, (1997)Supporting Contexts in Program Refinement., и . Sci. Comput. Program., 29 (3): 279-302 (1997)Structured presentation of refinements and proofs, , , , и . (1996)Tool Support for the Refinement Calculus. Victoria University of Wellington, (2004)Developing Logic Programs from Specifications Using Stepwise Refinement., , , , , и . Program Development in Computational Logic, том 3049 из Lecture Notes in Computer Science, Springer, (2004)A Program Refinement Tool, , , , и . Formal Aspects of Computing, 10 (2): 97--124 (февраля 1998)A Review of Existing Refinement Tools, , , , и . (1994)A Survey of Software Development Practices in the New Zealand Software Industry ., , , , и . Australian Software Engineering Conference, стр. 189-202. IEEE Computer Society, (2000)