Publication:4518890
From MaRDI portal
zbMath0960.68037MaRDI QIDQ4518890
Publication date: 20 May 2001
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A typed context calculus, A flexible model for dynamic linking in Java and C\#, A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.