Вы здесь

Von Oheimb D.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Generic Interacting State Machines and Their Instantiation with Dynamic Features 2003 Von Oheimb D., Lotz V. Lecture Notes in Computer Science 09.01.2004
СТ Hoare Logic for Mutual Recursion and Local Variables 1999 Von Oheimb D. Lecture Notes in Computer Science 22.12.1999
СТ Machine-Checking the Java Specification: Proving Type-Safety 1999 Von Oheimb D., Nipkow T. Lecture Notes in Computer Science 03.07.1999
СТ Javalight in Type-Safe - Definitely 1998 Nipkow T., Von Oheimb D. Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages 14.05.1998