( en | de | ru )

 

Disambiguierung von "Kulczycki, Gregory"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A specification-based approach to reasoning about pointers.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gregory Kroon

Robert Gregory

Isa Gregory

Xaver Gregory

Gregory Stevenson

 

Weitere Publikationen von Autoren mit dem selben Namen

A Comparison of Methods for Automatic Term Extraction for Domain Analysis., , und . ICSR, Volume 8919 von Lecture Notes in Computer Science, Seite 269-281. Springer, (2015)A Reusable Model for Data-Centric Web Services., , und . ICSR, Volume 5791 von Lecture Notes in Computer Science, Seite 288-297. Springer, (2009)Performance specification of software components., , , , und . SSR, Seite 3-10. ACM, (2001)A specification-based approach to reasoning about pointers., , , und . ACM SIGSOFT Softw. Eng. Notes, (2006)Simplifying reasoning about objects with Tako., und . SAVCBS@FSE, Seite 57-64. ACM, (2006)Panel: Engage in Reasoning with Tools., , , und . SIGCSE, Seite 160-161. ACM, (2016)Mining social tags to predict mashup patterns., , und . SMUC@CIKM, Seite 71-78. ACM, (2010)Formal Specification and Verification of Transactional Service Composition., , und . SERVICES, Seite 474-481. IEEE Computer Society, (2011)Formal Specification., , , und . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems., , und . ICSR, Volume 5030 von Lecture Notes in Computer Science, Seite 376-389. Springer, (2008)