( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A specification-based approach to reasoning about pointers.

, , , и . ACM SIGSOFT Softw. Eng. Notes, (2006)

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.

Robert Gregory

Isa Gregory

Gregory Kroon

Xaver Gregory

Gregory Okereke

 

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

A Comparison of Methods for Automatic Term Extraction for Domain Analysis., , и . ICSR, том 8919 из Lecture Notes in Computer Science, стр. 269-281. Springer, (2015)A specification-based approach to reasoning about pointers., , , и . ACM SIGSOFT Softw. Eng. Notes, (2006)Simplifying reasoning about objects with Tako., и . SAVCBS@FSE, стр. 57-64. ACM, (2006)Panel: Engage in Reasoning with Tools., , , и . SIGCSE, стр. 160-161. ACM, (2016)Mining social tags to predict mashup patterns., , и . SMUC@CIKM, стр. 71-78. ACM, (2010)Formal Specification and Verification of Transactional Service Composition., , и . SERVICES, стр. 474-481. IEEE Computer Society, (2011)A Reusable Model for Data-Centric Web Services., , и . ICSR, том 5791 из Lecture Notes in Computer Science, стр. 288-297. Springer, (2009)Performance specification of software components., , , , и . SSR, стр. 3-10. ACM, (2001)Formal Specification., , , и . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)The Location Linking Concept: A Basis for Verification of Code Using Pointers., , , , , и . VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 34-49. Springer, (2012)