|
СТ |
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes |
2005 |
Abraham E., Bonsangue M. M., de Boer F. S., Steffen M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
СТ |
Optimizing Bounded Model Checking for Linear Hybrid Systems |
2005 |
Abraham E., Becker B., Klaedtke F., Steffen M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.03.2005 |
|
СТ |
A Compositional Operational Semantics for JavaMT |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
A Tool-Supported Proof System for Multithreaded Java |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
Inductive Proof Outlines for Monitors in Java |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
