P. Luostarinen

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
Mechanizing Some Advanced Refinement Concepts. Formal Methods Syst. Des. 3 (1/2) (1993)
Joakim von Wright, Jukka Hekanaho, P. Luostarinen, Thomas Långbacka
Mechanising some Advanced Refinement Concepts. TPHOLs (1992)