Rinetzky, Noam, 1971-....
רינצקי, נעם, 1971-
נועם רינצקי
VIAF ID: 98504997 ( Personal )
Permalink: http://viaf.org/viaf/98504997
Preferred Forms
- 100 1 _ ‡a Rinetzky, Noam ‡d 1971-
-
- 100 1 _ ‡a Rinetzky, Noam, ‡d 1971-....
- 100 0 _ ‡a נועם רינצקי
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Abstractions de la forme des structures de données supportant partage et disjonctions. | |
home page, viewed October 1, 2017 | |
Interprocedural and modular local heap shape analysis | |
Méthodes automatisées de test formel des systèmes de stockage et des applications. | |
Shape abstractions with support for sharing and disjunctions | |
Vérification formelle de structures de données concurrentes. | |
נתוח צורני בין-שגרתי ותת-מערכתי מבסס ערמות מקומיות |