scientific article; zbMATH DE number 2090026
From MaRDI portal
Publication:4808693
zbMath1073.68550MaRDI QIDQ4808693
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2386/23860175.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Integrating ADTs in KeY and their application to history-based reasoning about collection ⋮ POSIX file store in Z/Eves: An experiment in the verified software repository
Uses Software
This page was built for publication:
