Franz Regensburger

According to our database1, Franz Regensburger
  • authored at least 6 papers between 1993 and 1998.
  • has a "Dijkstra number"2 of four.

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


  Loading...