СТ |
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems |
2001 |
Beyer D., Lewerentz C., Simon F. |
|
|
|
Lecture Notes in Computer Science |
04.04.2001 |
СТ |
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems |
2003 |
Beyer D., Lewerentz C., Noack A. |
|
|
|
Lecture Notes in Computer Science |
19.09.2003 |
СТ |
The BLAST Query Language for Software Verification |
2004 |
Beyer D., Chlipala A. J., Henzinger Th. A., Jhala R., Majumdar R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
22.10.2004 |