|
СТ |
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 |
