scientific article
From MaRDI portal
Publication:3024867
zbMath1063.68646MaRDI QIDQ3024867
Graham P. Collins, Donald Syme
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL ⋮ Formal Reasoning About Causality Analysis
Uses Software
This page was built for publication:
