scientific article
From MaRDI portal
Publication:3997481
zbMath0802.68080MaRDI QIDQ3997481
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Function composition and automatic average case analysis, Automatic average-case analysis of algorithms