scientific article; zbMATH DE number 4766
From MaRDI portal
Publication:4712650
zbMath0744.68102MaRDI QIDQ4712650
Donald Sannella, Andrzej Tarlecki
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
behavioural equivalencespecification languagespecification testingrequirements engineeringalgebraically-based logicscomplex heterogeneous logicsmethods for proving the correctness of implementation stepsmodel-theoretic and proof-theoretic formulations of general logicsupport formal program developmenttheorem proving in structured specifications
Related Items (1)
This page was built for publication:
