# Franz Regensburger

According to our database

^{1}, Franz Regensburger## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1998

Formal Verification of SDL Systems at the Siemens Mobile Phone Department.

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1995

HOLCF: Higher Order Logic of Computable Functions.

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

AVL Trees Revisited: A Case Study in SPECTRUM.

Proceedings of the KORSO, 1995

Korso Reference Languages - Concepts and Application Domains.

Proceedings of the KORSO, 1995

1994

HOLCF: eine konservative Erweiterung von HOL um LCF.

PhD thesis, 1994

1993

The Semantics of SPECTRUM.

Proceedings of the Higher-Order Algebra, 1993