A Proof Assistant for PSF

  • Authors:

  • Sjouke Mauw;Gert J. Veltink

  • Affiliations:

  • -;-

  • Venue:
  • CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
  • Year:
  • 1991

  • Process Algebra in PVS

    TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems

  • PSF - A Retrospective

    Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa

Quantified Score

Hi-index 0.00

Visualization

Abstract