PAF!

swMATH9973MaRDI QIDQ21950FDOQ21950

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-540-24849-1_4

Cited In (2)

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

This page was built for software: PAF!