From post

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.

 

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

Tool Support for Production Use of Formal Techniques., , и . ISSRE, стр. 242-253. IEEE Computer Society, (2001)Tool Support for Production Use of Formal Techniques, , и . Software Reliability Engineering, International Symposium on, (2001)