P. Luostarinen

According to our database1, P. Luostarinen authored at least 2 papers between 1992 and 1993.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
Mechanizing Some Advanced Refinement Concepts.
Formal Methods Syst. Des., 1993

1992
Mechanising some Advanced Refinement Concepts.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992


  Loading...