scientific article; zbMATH DE number 7526287
From MaRDI portal
Publication:5075300
Barbara Liskov, Stephen N. Zilles
Publication date: 12 May 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Integrating ADTs in KeY and their application to history-based reasoning about collection
This page was built for publication:
