scientific article; zbMATH DE number 3366464
From MaRDI portal
Publication:5639300
zbMath0231.65058MaRDI QIDQ5639300
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Improved efficiency for recapture studies from auxiliary experimentation ⋮ Verifying programs by induction on their data structure: general format and applications ⋮ A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation
This page was built for publication:
