|
СТ |
Demonstration of an Automated Integrated Testing Environment for CTI Systems |
2001 |
Niese O., Nagelmann M., Hagerer A., Kolodziejczyk-Strunck K., Goerigk W., Erochok A., Hammelmann B. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
Towards Rigorous Compiler Implementation Verification |
1999 |
Goerigk W., Simon F. |
|
|
|
Lecture Notes in Artificial Intelligence |
31.12.1999 |
|
СТ |
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct |
1999 |
Goerigk W., Hoffmann U. |
|
|
|
Lecture Notes in Computer Science |
29.09.1999 |
|
СТ |
Construction of Verified Compiler Front-Ends with Program-Checking |
1999 |
Heberle A., Gaul T., Goerigk W., Goos G., Zimmermann W. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
02.07.1999 |
|
СТ |
An Architecture for Verified Compiler Construction |
1997 |
Gaul T., Goos G., Heberle A., Zimmermann W., Goerigk W. |
|
|
|
Joint Modular Languages Conference: Proc./JMLC 97. Hagenberg, Austria, March 19-21, 1997 |
16.05.1997 |
