PAF!

swMATH9973MaRDI QIDQ21950FDOQ21950

Author name not available (Why is that?)

Cited In (2)

• Types for Proofs and Programs
• Specifying imperative ML-like programs using dynamic logic

This page was built for software: PAF!