Concepedia

Specification and Verification using Higher-Order Logic

Keith Hanna, Neil Daeche

Kent Academic Repository (University of Kent) · 1985 · 36 citations · 0 references

Concepts