Publication:2769425
From MaRDI portal
zbMath0978.68044MaRDI QIDQ2769425
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300057
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Remarks on Isomorphisms of Simple Inductive Types, Unnamed Item, Analogy in Automated Deduction: A Survey, Ornaments for Proof Reuse in Coq, Second-order type isomorphisms through game semantics, Remarks on isomorphisms in typed lambda calculi with empty and sum types, Procedural representation of CIC proof terms, Tool Support for Proof Engineering
Uses Software