( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Noema: A Metalanguage for Scripting Versionable Hypertexts.

, и . DCW, том 2468 из Lecture Notes in Computer Science, стр. 228-239. Springer, (2002)

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.

T Peters

T Frieberg

T Attin

T Neumann

T Weber

 

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

The dynamic frames theory.. Formal Aspects Comput., 23 (3): 267-288 (2011)A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness., и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 149-168. Springer, (2013)Comparing Verification Condition Generation with Symbolic Execution: An Experience Report., , и . VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 196-208. Springer, (2012)GLU embedded in C++: a marriage between multidimensional and object-oriented programming., и . Softw. Pract. Exp., 34 (7): 609-630 (2004)Noema: A Metalanguage for Scripting Versionable Hypertexts., и . DCW, том 2468 из Lecture Notes in Computer Science, стр. 228-239. Springer, (2002)Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions., , , и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 451-476. Springer, (2013)Decoupling in Object Orientation.. FM, том 3582 из Lecture Notes in Computer Science, стр. 43-58. Springer, (2005)Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions.. FM, том 4085 из Lecture Notes in Computer Science, стр. 268-283. Springer, (2006)Theories, Implementations, and Transformations., и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 1-21. Springer, (2002)